fix headercheck for the dumux folder See merge request !2760 (cherry picked from commit edce36d9) ed561229 fix headercheck for the dumux folder ec7c98bb [examples] include required header