OpenPGP keyserver in Python