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