[!282] Autotune merge

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