docker: ghc source distribution moved to https
docker: clearer split of run-time and build-time dependencies
docker: wget non-verbose

wget quiet suppresses error messages