Fixes to check-docs script; add some docs; mark some options as deprecated in the online docs. svn:r9163
Add a maintainer script and a new make target "make check-docs" to get a quick dump of which options are undocumented where, and which documentation refers to nonexistent options. svn:r9160