Benchmark scheduler

[mturilli]

Introducing priorities and, more in general, revamping the scheduler requires rerunning our benchmarks (those that we use in our RP publication). This might also be a good opportunity to introduce a new GH workflow.