Added initial work for the trace repeat node
Cleanup some code that is not needed anymore
Utility code used for constructing tests in a lazy manner has been moved out of the RepeatNode class
fix for testing, doesnt work if not in standard jar
added test to ctruntime
code format
improved to string for traces
change ctruntime to only type check tests when needed and added a new Verdics ERROR for TC failures. Added test cases to test the module
added new interface for trace nodes
trace xml parser
Added small test for traces with alternatives
Added some work on getting testing related stuff
adding xo
fixed merge and improved xml reader
removed dot file
Generate indexes of the vdm examples and libs for packing into the jar
Merge remote-tracking branch 'origin/test' into ct

Conflicts:
	core/pog/pom.xml
	core/testing/framework/pom.xml
	core/testing/tests/pom.xml
fixed XmlFileWriter method name
Updated TraceResult and TraceTest classes with equality and hashCode methods
Added some simple CT tests for the new testing system