Move zchaff to extern
Move minisat* to extern/
Deleting things left and right
bye, glueminisat
bye, cmsat
bye, minisat
Add Cryptominisat-2.9.8 as a git submodule
Remove Cryptominisat -- it depends on MySQL