Fix CI scripts (#454)
-rw-r--r-- 272 .ghci
-rw-r--r-- 390 .gitignore
-rw-r--r-- 2930 .travis.yml
-rw-r--r-- 1075 LICENSE
-rw-r--r-- 9549 README.md
-rw-r--r-- 1224 appveyor.yml
-rw-r--r-- 105 build.bat
-rw-r--r-- 2284 build.cabal.sh
-rw-r--r-- 894 build.global-db.bat
-rwxr-xr-x 1492 build.global-db.sh
-rwxr-xr-x 967 build.sh
-rw-r--r-- 350 build.stack.bat
-rwxr-xr-x 900 build.stack.nix.sh
-rwxr-xr-x 1050 build.stack.sh
-rw-r--r-- 49 cabal.project
drwxr-xr-x - cfg
-rw-r--r-- 1352 circle.yml
drwxr-xr-x - doc
-rw-r--r-- 6244 hadrian.cabal
drwxr-xr-x - src
-rw-r--r-- 457 stack.yaml