Scripts -- update reference to enhanced version of Deuce Agent deucestm-licm-1.3.0.jar
Scripts -- run and instrument benchmarks with new Deuce optimizations
JWormBench -- add warm-up; add none synch module; fix SyncModuleDeuce
Merge branch 'feature/benchmarks-and-scripts' into develop