add pthread-C-DAC benchmark

Can't show this merge request because the source branch github/fork/yihaoyan/master is missing from project sosy-lab/benchmarking/sv-benchmarks. Close this merge request or update the source branch.