Update CI config for master

enabled an automatic merge when the pipeline for b73bebd5 succeeds

added 3 commits

• b73bebd5...9da2de98 - 2 commits from branch master
• aa1a5e47 - Merge branch 'master' into feature/update-ci-config-for-master

Compare with previous version

Fixed the failure in arpackppsuperlu, #48 (closed), !221 (merged)

added 3 commits

• aa1a5e47...c412d83a - 2 commits from branch master
• b7e1aa46 - Merge branch 'master' into feature/update-ci-config-for-master

Compare with previous version

mentioned in issue #51 (closed)

Fixed the SIMD-related build failures in !223 (merged) and dune-common!550 (merged).

The remaining failure is dotproduct #51 (closed), and seems unrelated to simd.

mentioned in issue #50 (closed)

added 55 commits

• b7e1aa46...78af9e50 - 54 commits from branch master
• f88f36e7 - Update CI config for master

Compare with previous version

added 1 commit

• 72d0db35 - [ci] Switch to clang 7 for libc++ build

Compare with previous version

Superseded by !248 (merged)

closed