[rwth-security] Migrating the Launchpad Keyservers from SKS to Hockeypuck