#846: Add http{,s}_proxy settings.

Solves #846. Adds http and https proxy settings and sets them as the environment variables of the python interpreter, which is used by both `urllib.urlopen` and `requests.get`.