more accurate timings for the commit log benchmarks (now they include the time it takes to open the repository, so implementations that pre-compute logs are not favored)