* mandos-monitor.xml: New.
* Makefile (PROGS): Add "mandos-monitor".
(DOCS): Add "mandos-monitor.xml".
(mandos-monitor.8, mandos-monitor.8.xhtml, mandos-monitor): New.
(install-server): Install "mandos-ctl" and "mandos-monitor" too.
(uninstall-server): Remove "mandos-ctl" and "mandos-monitor" too.
* mandos-monitor: Don't log uninteresting messages.