Remove a bunch of old pgp keys that belongs to Ex-developers.

Note that I haven't removed the actual keys yet, just the entries in the
handbook and the key entities.

Ok'ed by: blackend