Cryptominisat 3.2

Branch: cryptominisat-3.2.

Adding cryptominisat-3.2 target.

I will send the archive for cryptominisat-3.2 and M4RI in an e-mail.

Matthew