Updating to cryptominisat 2.9.6.
Correction of meta-data.
Merge branch 'crypto_2.9.6_install' of git://github.com/MGwynne/oklibrary
Correction of meta-data.

Old data should have been removed by MG.