Correction: removing stale targets.

Cryptominisat3 and M4RI now refer directly to cryptominisat base targets.