Removed unused test suite as it is replaced with junit
Merge pull request #39 from runtimeverification/removeTestSuite

Removed unused test suite as it is replaced with junit