Added trace2bool.pl under trace2bool
The code scales now, but doesn't detect deadlocks correctly yet.