Measurements after pattern matching optimizations

We are up to 13.8x again.
Updated test overview
Updated measurements
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
Measured effect of merging with muOr branch

The speedup for the (as yet unoptimized) muOr branch is 12.3x (down from
13.8x, or some 10% loss).
Merge branches 'master' and 'muAnd-muOr' of https://github.com/cwi-swat/rascal into muAnd-muOr