disable "use contacts integration" checkbox on setup

Right now, this app will only work with contacts integration enabled. But
we'll this code in place because someone could implement a version that
does everything directly from GnuPG and ignores the contacts.

refs #2681
openpgp/keyserver: rationalize data types and rename for clarity

Having key.isRevoked be a String just makes no sense...

refs #2756