server cleanup and documentation

[MichaelBrim]

The configuration options, and associated server command-line switches, have changed since the last update to the documentation. This should be fixed.

Also, we need to decide and document exactly which server state should be cleaned when the --cleanup option is used. Currently, the option has no effect, and we just clean up everything.