improve documentation of ToySolver.SAT.CAMUS a little