Update of doxygen in dockerfile / provide two (multiple) versions of doxygen
@melaniel seems already to work with current doxygen (1.9.3) release on the current dumux release. In order not to have breaking changes with documentation of the older releases, we could/should still build it with older doxygen version 1.8.17, we use until now.
Edited by David Werner