Adding v0.5.1 of openpgpjs.min.js.