Clean-up of unused imports.
Refactored test framework.
Added new benchmarks and improved reporting.
Added various features and primitives.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git