Separating doxymain.h documentation into multiple .dox files in doc/