Make autotest generate JUnit reports for Jenkins