gpg_refresh_keys.py - refresh GPG key via http proxy (possibly via Tor)