Initial work on Dynamic controllability: rules for DC propagation
Added the CCGraph and EDG data structures that are necessary for implementing both FastIDC and EfficientIDC.

Both structures comes with unit tests to make sure they are functional.
Follow up on dynamic controllability: there is a working FastIDC algorithm together with test cases from various research papers.  This version is still under heavy work is not suited for integration: it is slow and API will change a lot.
Final integration work on FastIDC.

It now provides a complete interface implementing ISTN and ISTNU.
It is still far from being efficient in terms of computation time.
Use a matrix instead of adjacency list for the EDG
Incremental squeezing detection in EDG
Corrected version of IDC that checks for every rule involving a modified edge. Initial (and not functional yet implementation of EfficientIDC
Empty template for MMV
Removed outdated binding CSP manager
Import of the binding manager from FAPE.

This is the first step towards having synchronization between
variables/constraints of both STN and binding manager.
Test suite on values sets
Import of STNManager from FAPE and add way have STN constraints depending on a variable of the binding network.
[0.4.0] Minor corrections and release of version 0.4.0
[0.4.1] Bug fix: Informationabout mixed constraints was lost on copy.
Merge branch 'master' of github.com:planstack/constraints

Conflicts:
	src/main/scala/planstack/constraints/stn/STN.scala

Revert modifications from Filip that was flawed and belong to a higher level.