cli: Add --http-proxy and --https-proxy options.