Integrate `regression2sv-benchmarks.py`

[sim642]

A single implementation of parsing and manipulating our custom regression test annotations could also be reused for the conversion of benchmarks.

For additional list of desired features, see goblint/analyzer#383.