Updated doxygen input file to use DOT if it is found.
Renamed discrete math test suites to be consistent with rest of tests.