updating openpgp.min.js to the latest version