Removed a few unnecessary navigation pages from doxygen