openpgp.js: Update to recent master