Export also https_proxy, to make apt-add-repository work.