Junit changes for use with Jenkins

Adds two new properties for controlling the jUnit run. Jenkins can pick up the jUnit results from the XML output if test.xml_output=true and test.haltonfailure=no and a jUnit post-build action is added to Jenkins with TEST-*.xml as the report format.