updating HTMLTestRunner.py