Upgrades openpgp.min.js
Adds UI elements
Makes rc_openpgpjs work with the Larry skin
Makes PKS proxy require valid request form
Deletes unused files