Directory with persistent state can now be changed with the "statedir" option. The state directory /var/lib/mandos now gets created on installation. Added documentation about "restore" and "statedir" options.
* Makefile (USER, GROUP, STATEDIR): New. (maintainer-clean): Also remove "statedir". (run-server): Replaced "--no-restore" with "--statedir=statedir". (statedir): New. (install-server): Make $(STATEDIR) directory. * debian/mandos.dirs (var/lib/mandos): Added. * debian/mandos.postinst: Fix ownership of /var/lib/mandos. * mandos: New --statedir option. (stored_state_path): Not global anymore. (stored_state_file): New global. * mandos.conf: Fix whitespace. (restore, statedir): Added. * mandos.conf.xml (OPTIONS, EXAMPLE): Added "restore" and "statedir". mandos.xml (SYNOPSIS, OPTIONS): Added "--statedir". (FILES): Added "/var/lib/mandos".