Replace PolySuite with standard JUnit Parameterized runner

src/test/java/de/tla2b/examples/RegressionTests.java

src/test/java/de/tla2b/util/AbstractParseModuleTest.java

src/test/java/de/tla2b/util/PolySuite.java

src/test/java/testing/ExampleFilesTest.java