Adds http_proxy to configuration. Fixes Issue#109