Updating GIT check
Making executable "cryptominisat" so it doesn't clash with include ir
Updating README to reflect filename change