This MR contains the changes from !1 (merged), and additionally changes the logic that detects whether the current run is a timing run.
The name of the runner is no longer used (or required to be
coop-timing), but the runner must have the
fp-timing tag (may have more tags).
This currently merges into
master. Let me now if
opam2 would be more suitable.