Add horde to wkd sync

If there is not yet a key for the user in Wkd, we sync the key in the horde user_prefs (if they are using pgp in Horde).

Otherwise we expect the user to update keys by themselves.

CC @qua