gather library names in subdoxygen setup

Until now, the mars folder was scanned for subdirectories containing md
files from which to build sub-doxygens for the respective libraries. Yet
the libraries had to be added by hand to the central doxygen overview.
This is now automated.