Merge branch 'update-compiler-requirements' into 'master' ref:core/dune-common According to dev meeting 2020-02 See merge request [!772] [!772]: gitlab.dune-project.org/core/dune-common/merge_requests/772