[Fix#199]: lazy clear delta AS THE FIRST INSTRUCTION of deltamonitor.unfreeze()
[Issue#157]: refactor table constraints

- add new algorithms (AC3, AC3bitrm, AC3rm, FC and FAC3rm, GASCTR, GAC2001)
- add TupleFactory to generate tuples from functions and provide some widely used constraints
- add new tests
Merge branch 'develop' of github.com:chocoteam/choco3 into feature-table

Conflicts:
	choco-solver/src/main/java/solver/variables/delta/monitor/GraphDeltaMonitor.java
	choco-solver/src/main/java/solver/variables/delta/monitor/SetDeltaMonitor.java
Merge branch 'feature-table' into develop