/mandos/trunk

[Mandos client]
configuration for OpenPGP key
IPv4 support

[Pluginbasedclient]
disable certain plugins
change uid to nobody:nogroup
	other drop privs stuff?

[Server]
config file for:
	TXT record
	GnuTLS priority string
run-time communication with server

[Mandos-tools/utilities]
	List clients
	Enable client
	Disable client