Merge branch 'newcrypto'

Merge branch 'newcrypto'

updated CMS2 so that segfault will no longer happen when UNSAT is found
in the middle of a varreplacement. The clause database was left in an
undefined state, which caused ~Solver to double-free some clauses

no longer be create

Conflicts:
	src/sat/cryptominisat2/PartHandler.cpp
	src/sat/cryptominisat2/Solver.cpp
	src/sat/cryptominisat2/Solver.h
	src/sat/cryptominisat2/Subsumer.cpp
	src/sat/cryptominisat2/VERSION
	src/sat/cryptominisat2/VarReplacer.cpp
	src/sat/cryptominisat2/mtl/Vec.h

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@678 e59a4935-1847-0410-ae03-e826735625c1