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
Update changes log
Add RHEL optional repository fixes to the changes log
Bump version for stable release