restructure MUS-related modules
add KnownMCSes and KnownMUCes to the options for CAMUS and DAA
fix comment
check divisions in ToySolver.Cooper