Support an HTTPS proxy, including the environment variable.
Merge pull request #317 from gpjt/https_proxy

Support an HTTPS proxy, including the environment variable.