summarise experiment

[AWbosman]

It would be nice if we can provide some code to automatically create a summary of multiple runs in a csv file, for example if you have different verifiers.

[Aaron99B]

Extend the report creator: https://github.com/ADA-research/VERONA/blob/main/ada_verona/analysis/report_creator.py