No need for old satcomp09 to be executed
Executable is now cryptominisat3
Add lingeling for tests