Added some instructions on PGP signing.