Update my gpg key.

The old one had a number of IDs on it that were long ago revoked,
 and was missing some IDs that I currently use.  The current key
 has been in keyservers for some time, but it's better to have
 it on the site too.