Updating to cryptominisat 2.9.6.

Branch: crypto_2.9.6_install.

Updating to cryptominisat 2.9.6.

Matthew