Remove redundant HTTP proxy settings

These aren't used for anything. If someone contributing to this
repo is developing behind a proxy, they can always add them back
temporarily.