rename toPBAtLeast to toPBLinAtLeast
add isPBRepresentable to ConstraintHandler
change normalizeXORClause to avoid using '0' when possible
add watchVar in ToySolver.SAT
add XOR-clause handler to ToySolver.SAT