Executable is cryptominisat not cryptominisat4
Fixing TravisCI build script