Dockerfiles for building the images we use for CI
GHC mirror of the Cabal package
Cabal mirror for CI.