Merge branch 'ci/clang-7' into 'master' See merge request [!583] [!583]: Nonecore/dune-common/merge_requests/583