Add support for proxy credentials in http_proxy

$http_proxy may include a username and password if the proxy requires
authentication:

    export http_proxy=http://user:password@host:port

This should have been part of #38, but wasn't relevant to our use case, so it didn't occur to me until today.