Bugfix: Change the default key_server of apt::key to port 80

When using apt::key in other packages while behind a firewall, the system times out and this action fails. By changing the key server to port 80 and adding hkp:// as a prefix the system uses the default http port and  avoids issues with a firewall.