Default attribute for http_proxy and documentation in README