Add toolinfo module for meta-verifier CoOpeRace

[vesalvojdani]

This adds the tool info module for our meta verifier specialized on data races.

(I am a bit confused about whether one has to override program_files or not. Seems that coveriteam and a few other tools do this, but many tools that depend on stuff within the package do not define this and still seem to work fine.)

[PhilippWendler]

(I am a bit confused about whether one has to override program_files or not. Seems that coveriteam and a few other tools do this, but many tools that depend on stuff within the package do not define this and still seem to work fine.)

program_files() can be useful or necessary when combining BenchExec with some job-distribution system that uploads the program to a remote service. For plain BenchExec it is not necessary.