Faster CI
Eventually fixes #307 (closed).
bench
can still be triggered manually.
@anoe This is better now, we went from ~2 hours:
To ~ 1h20mins:
At the moment the bottleneck is with Gitlab's caching, which is quite inefficient, at least in the version we are currently stuck on.
But I think this is acceptable for now.