Add --xml output support to the tests

Add a --xml parameter to tests/testall.py, to make it output .xml files instead of text...

This makes it possible to run the tests with the Jenkins CI server (http://jenkins-ci.org)