Added @giannello to AUTHORS.
Export also https_proxy, to make apt-add-repository work.
Merge pull request #408 from giannello/develop

Export https_proxy too