Merge branch 'feature/latest-dune-richards' into 'master'

See merge request [extensions/dune-codegen!286]

  [extensions/dune-codegen!286]: Noneextensions/dune-codegen/merge_requests/286

Using the same concept we use for visiting with hasattr.

These can be exceptionally challenging while not contributing to the
overall performance. So we might want to skip.

Merge branch 'feature/project-renaming' into 'master'

See merge request [dominic/dune-perftool!283]

  [dominic/dune-perftool!283]: Nonedominic/dune-perftool/merge_requests/283

Hoperfully achieving more robustness w.r.t. submodule changes

Merge branch 'autotune-merge' into 'master'

ref:dominic/dune-perftool Resolving conflicts of [!270]

See merge request [dominic/dune-perftool!282]

  [!270]: gitlab.dune-project.org/NoneNone/merge_requests/270
  [dominic/dune-perftool!282]: gitlab.dune-project.org/dominic/dune-perftool/merge_requests/282