Doxygen improvements: conditional build, "dot" only if found, README.md