Use port 80 to connect with keyserver

Necessary to circumvent problems with firewalls.