Removed old test infrastructure files except for

./AbsHoudini/
./doomed/
./z3api/
./test17/

because their conversion to lit incomplete.
Remove a few other old test infrastructure files. They
probably aren't very useful anymore now that the old
test infrastructure is gone.
Merge.