build: upgrade Doxyfile
core: add docs to file containing main(), which appears on the front page of generated Doxygen docs