improve documation of ToySolver.SAT.CAMUS
use LitSet in ToySolver.SAT.DAA