Print a more friendly message when http_proxy is down.

Fixes #1962.
Implement 'cabal repl --only'.

Fixes #2016.