patch applied (cabal-install): Added support for users behind proxy servers, reading system settings from the env var on unix or registry on windows