Merge branch 'add_missing_install_header' into 'master' See merge request [!754] [!754]: Nonecore/dune-common/merge_requests/754