All tests

Now runs all tests in classpath of AllTests.java.

Requires cpsuite-1.1.0.jar
(http://johanneslink.net/projects/cpsuite.jsp).