adding support for new option :use_local_web_proxy

:use_local_web_proxy is a convenience option that
drives the existing http_proxy and https_proxy option.
Also adds related option :local_web_proxy_port.