Splitting cleanallcryptominisat into cleanallcryptominisat2 and cleanallcryptominisat3.
Editorial correction: makefiles use tabs not spaces.