Merge branch 'cleanup/update-dumux-version-installscripts' into 'master'
[bin] Update dumux versions to 3.8 in installscripts.
See merge request !3687
(cherry picked from commit 4cfcfa16)
c62b963c [bin] Update dumux versions to 3.8 in installscripts.