Doxyfile, README and INSTALL revisited