also rerun Doxygen when da "modules" file has changed, as used for example by dune grid do seed the module hierachy

[[Imported from SVN: r5547]]