Enable HTTP proxy for requests

Add '$proxy' config variable for users to specify an HTTP proxy if their
network environment requires one. If the variable is not defined, the
original behaviour is preserved.