Proposal: Switch to update_bench.py

[arkocal]

This PR includes a rewritten update bench script in python, that is almost identical to the existing one, with some new functionality. I have created this for my own convenience, but if there is interest I can polish it up a little more to include here.

Rationale:

• Many more people are fluent in python than ruby, for better future maintenance
• Tidied up the code a bit, more can be done, especially regarding command line parameters and error messages in parsing the bench.txt
• Currently, running a larger set of different benchmarks and keeping track of all the results is tricky. This creates one json file (very large, contains everything) in addition to the html and the other outputs.
• Also, I end up analyzing results in python anyway, and this exports a pickle for extra convenience.

[sim642]

We started https://github.com/goblint/GobExec though, which should be more-or-less feature complete with the Ruby scripts.
It has remained dormant for a year, but it might make more sense to add new features there instead.

One feature of GobExec was running benchmarks in parallel, but that doesn't make sense for your parallel solver benchmarking, so that might need to be made disable-able.