PGP keys: Update salvadore@

• Remove an expired key which is not being used any more.
• Add a new key.

The existing non expired key is kept, as I plan to use both the actual
key and the new key.