Sending your PGP public key to somebody else