Use xmlrunner in Jenkins
Update buildscript to install and use xmlrunner
Put xmlrunner install into test script
Issue #469: ignore Windows output files
Ignore generated files in the docs tree