docker: ghc-pkg recache after manual modifications
docker: per-user cabal config