Updated the way the tests are done: delegate the running of the tests to a
single target, which prevents code duplication. Also, when the tests are
finished, prepare a simple textual report telling the user what went wrong
and what was run at all.
integration-test/project.properties:
Use properties to determine the version number of the product to use.
Added tests for Catalina 4.1, in addition to 5.
Generate HTML reports of the test run.