add --all-mus-daa option to toysat command experimentally
improve ToySolver.SAT.MUS.DAA a little