Rename AllTests.tst to AllTests.txt