Adding GPL v2 to fuzzer script
Fixing a crash bug
Allowing to use cryptominisat at a cmake subproject
Better boost test
Adding a check for space after every literal in CNF file