Add Satoshi PGP key (fixes #79)