runtests.py: generate reports in JUnit format, because it actually works in Jenkins...