Download Ubuntu 13.04 repository key over HTTPS
Merge pull request #1932 from jcassee/patch-1

Download Ubuntu 13.04 repository key over HTTPS