update to openpgp.js v0.5.1