HOW TO: Create a PGP Key on a Smart Card or Token