Cleanup, update to OpenPGP.js 0.9.0, Pure CSS 0.5.0, and gems

I’m no expert in any of these areas, so my testing only goes as far as “works for me”. Let me know if I should change anything and resubmit. Thanks!