Adding support for cryptominisat-3.1.
Correction: cryptominisat is now on github, not gitorious.
Adding todo on linking cryptominisat-3.1 to perftools.