seahorse-sharing: Sharing of PGP public keys via DNS-SD and HKP
