downloading web pages through a http proxy server