Added interpreter for measuring trace duplication without trace-merging to run-benchmarks
The random-generator is now reset between subsequent runs so each run uses the same state for the random-generator
Metrics that use some kind of state (e.g., the trace-duplication metric) are now also reset between subsequent runs