Remove unwanted file.
Add TESTSUITE_SOLVER CMake parameters to change solver used for tests.