rm openpgp.js as it's not aimed at end users #472