Merge pull request #150 from horakmar/repo-key-via-proxy

Workaround for fetching repo keys via proxy.