Changed from lists of test elements to batchtest

This way we don't have to add anything to build.xml when we create new
test classes. (!)