also using https_proxy if available because pypi seems to use https