Replace my GPG key

This is an entirely new key -- the old one was over ten years old and
had accumulated all sorts of cruft.