Small code improvement
Launch configuration magic to run typechecker tests

Added:
- TypecheckerSuite.java
- TypecheckerTests.launch
Forgotten file