release v1.2 Update OpenPGP.js to v0.5.1