Update Hongli Lai and Ninh Bui's GPG keys in the documentation.

Their old keys have been revoked and superseded by new keys.
This is in order to increase the algorithmic strengths of their keys,
which were using old algorithms and (by today's standards) small
key sizes.