Cryptominisat 3.2

Branch: cryptominisat-3.2.

Adding cryptominisat-3.2.

Now correcting placement of M4RI md5sum, adding missing "postconditions" and ensuring all top-level installation directories for M4RI refer to cryptominisat3 variables, which then refer to cryptominisat.

Matthew