Investigate races and deadlock benchmarks used by DarC

[michael-schwarz]

DarC is a project out of Brno that implements a data race detector as a plugin to Infer.

In some writeup for a student competition https://excel.fit.vutbr.cz/submissions/2023/014/14.pdf, they mention two repositories of benchmarks that they have used:

• https://github.com/marchartung/DataRaceBenchmark
• https://github.com/svobodovaLucie/ConcurrencyBenchmark

It might be worth investigating if we can use them. For the second one, I'll open an issue to see if they are interested in contributing them to sv-comp. (svobodovaLucie/ConcurrencyBenchmark#2)