Implementation of the PGP hkp protocol for Javascript