Updating to Openpgp.js 0.7.2 lib
Bugfixes, like woah.