Cryptominisat 3.2

Branch: cryptominisat-3.2.

Adding cryptominisat-3.2, now shared targets (i.e., cryptominisat base directories) being used directly rather than replicated and with separate cleanallcryptominisat2 and cleanallcryptominisat3 targets for clean-up.

Matthew