Added "export http_proxy" command.

When using a proxy server to connect to, set an environmental variable
“http_proxy” with a specified server.