Cryptominisat 3.2

Branch: cryptominisat-3.2-corrected.

Adding cryptominisat-3.2. Now with m4ri in the same directory as cryptominisat3.

Matthew