docker: use https for cabal installation

keeping ca-certificates adds about 1% to the final image
docker: turn off wget verbosity in wgetrc