Bugfix: Change the default key_server of apt::key to port 80 to avoid issues with firewall