Added some functionality to write out test failures
also to html files generated with DocTester.