Rewritten bencmark framework to give better control over execution order
Some cleanup/commenting of benchmarking framework
Removed some unused local variables
Merge branch 'master' of https://github.com/cwi-swat/rascal