GPG doc updates.

This includes:

* publishing to a keyserver
* revocation
* setting the default signing key via lein