Fixed many input/output files for Provenance, for HTML.
Fixed many input/output files for Provenance, for XML.
Merge branch 'master' of https://github.com/finnle/ITS-2.0-Testsuite