Counting tests

There are 8378 tests of which 4181 now succeed.
Our success percentage today is exactly 50%.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git