[Haskell-cafe] Cabal proxy configuration