Update the Doxygen main page
Merge branch 'doxygen'