Nicer error messages and better classpath handling
Merge pull request #41 from runtimeverification/cleanerClasspath

Cleaner classpath code