Merge #11607: Add Gitian PGP key: Sjors