Added new option "-thread" that havocs variables that are shared with
other threads everytime before they are read. Use:
-j ./test -cp ./test  -b out.bpl -tc -threads
to test it.
There is still a bug in the translation of the test file, but this is
unrelated to the new feature.