patricklodder's pgp keys
Merge pull request #556 from patricklodder/1.7.2-pgp

patricklodder's pgp keys for gitian