Update CMakeLists.txt to support Asciidoc man page / HTML doc generation, with various small changes.
Richard Grenville