Added some instructions related to PGP signing.

Related to #187.