Docker build file for Debian with latest GHC and Cabal