ed55b1b8d2
We remove from Tests/CTestTest*/CMakeLists.txt some historical cruft that is no longer used by the test suite.