Removed data for cryptominisat in version 2.95.

Clearly replaced by version 2.96.