tools: Add gpg-wks-client and gpg-wks-server.