[!257] New CI setup

Merge branch 'bugfix/adapt-error-threshold' into 'master'

Now running on the Heidelberg infrastructure.

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

  [dominic/dune-perftool!257]: gitlab.dune-project.org/dominic/dune-perftool/merge_requests/257