Merge branch 'bugfix/cmake-apply-compile-options-in-add-dune-all-flags' into 'master' See merge request !461