Update several tool-info modules to BaseTool2

[skanav]

updated tool info modules of verification (and validation) tools from sv-comp 20 to start using data models from the task dict.
this is required for the competition after PR 169 in benchmark definitions repo is merged

The following are still remaining:

1. ultimate based tools - it is a bit more complicated. Should be dealt separately

[danieldietsch]

Should I update the Ultimate tools? How soon is it needed?

[skanav]

Should I update the Ultimate tools?

This would be great.

How soon is it needed?

It would be needed for the preruns. So it should be done soon.

[PhilippWendler]

Thanks!

I have a few comments that I added. Many of these actually apply to more than one tool-info module but I always added them in only one location, so please check for each comment in which tool-info modules it also applies.

[PhilippWendler]

Just remembered sosy-lab/sv-benchmarks#1125, I think it would make sense to wait for a resolution of that issue before merging this PR.

[MartinSpiessl]

Just remembered sosy-lab/sv-benchmarks#1125, I think it would make sense to wait for a resolution of that issue before merging this PR.

Didn't seem like there is active work on sosy-lab/sv-benchmarks#1125, but I actually depend on this PR (doesn't the whole competition infrastructure need this?), so I would welcome if this could get merged quickly.

[MartinNowack]

From my side, changes for KLEE look good.

[PhilippWendler]

@MartinNowack Thanks for confirmation!

[skanav]

@PhilippWendler do we need something more here?

[PhilippWendler]

I had just hoped that we get some response for sosy-lab/sv-benchmarks#1125, but as discussed let's merge it now.

[PhilippWendler]

@skanav I just noticed that this broke some other tool-info modules that inherit from modules changes in this PR. At least JBMC is affected. Would it be possible for you to have a look at which tool-info modules inherit from the ones changed here and adjust them (this should typically be small changes only)?