Updates openpgp.min.js, fixes #106 (and possibly #89, dunno)