Export https_proxy too

On some platforms repositories can also be accessed via HTTPS, like Ubuntu PPAs. We need to export the HTTPS proxy too.