Merge branch 'feature/add-dunecontrol-cmake-command' into 'master' See merge request [!574] [!574]: Nonecore/dune-common/merge_requests/574