Change to one of the benchmarks; report on measurements done with
a faster machine (mac mini) and several subsequent runs.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git