Improve Doxygen template used by mwdocgen.php