Tseitins during grounding with cp

[Broes De Cat]

CP should ask the solver to create tseitins when it needs a propositional atom representing the graph, so no duplicate ones are created (strongly increases solving time).

[Joachim Jansen]

Added file that shows bug. The total idp running time of theory fqueens9 should be at least similar to the equivalent theory with predicates (queens3).