Migrate some tools to BaseTool2#1248

ricffb wants to merge 3 commits intomainsosy-lab/benchexec:mainfrom

migrate-sv-comp-tools-to-basetool2sosy-lab/benchexec:migrate-sv-comp-tools-to-basetool2Copy head branch name to clipboard