Cryptominisat 3.1

Branch: cryptominisat-3.1.

Adding cryptominisat-3.1.

Matthew