Add HTMLTestRunner.py again. Fix it