benchmarks history

Find a way to keep benchmarks history. Options:

• gitlab runners on cta08 and locally saved results
• push results to another server
• recompute for all versions everytime