Felipe Zimmerman, Creador de PGP