Fix/benchmarks

Several fixes to the benchmarks included in Deuce STM. It also adds a new build.benchmarks.xml with all the configurations required by each benchmark and to be synchronized with the DeuceSTM.