progress bar support

[gipsyh]

Maybe we can add a progress bar so that we can see how much the benchmark has completed.

[PhilippWendler]

Would be nice, indeed, thanks for the suggestion!

I don't really know how to implement such a thing, though.

In the meantime, if you have a terminal emulator that supports it, BenchExec should print the count of finished and total runs in the terminal title. So there you can see this information.

[PhilippWendler]

I just stumbled over the library rich. If we want to implement a progress bar, this could be a good choice.

[incaseoftrouble]

progressbar2 is very easy to use, too (you can basically wrap it around an iterator).

I might be able to add that.