Proxy support

Now takes an optional command-line argument -p followed by a proxy address (e.g. "127.0.0.1:8080") for all HTTP requests. Uses argparse support submitted previously.