Improvements to test framework

We can now run all 3000 tests (even when type checker or compiler
crashes in the middle).
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
Updated test progress
Updated test status

Added a sheet with exact results of running all Rascal tests
Modified code to no longer use the top field on trees
Merge branches 'master' and 'muAnd-muOr' of https://github.com/cwi-swat/rascal into muAnd-muOr