Adding support for cryptominisat-3.2.
Correction: cryptominisat is now on github, not gitorious.