Added support for using HTTP proxy.

HTTP proxy can be set by environment variable, command line, or configuration file.  Host and port are configurable only.