Merge branch 'feature/autotuning-google-benchmark' into 'master'

ref:extensions/dune-codegen Make it possible to use google-benchmark for
autotuning.

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

  [extensions/dune-codegen!312]: gitlab.dune-project.org/extensions/dune-codegen/merge_requests/312