Update Theta tool info to use property file
Update Theta tool info to use property file

Theta now has added support for the data race property besides unreach call, so now we can not ignore the property file.
sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec,sosy-lab/benchexec