Merge branch 'fix-rm_version'
Update README.md
Merge pull request #98 from JLiangWaterloo/develop

Fixed all different propogator for sets.
Update pom.xml(s)
Add a new option in configuration
Integrate new dvt:

- add PGLNS and Random LNS
- new access to ObjectiveManager (enable to relax bounds
- add compareTo methods in Decision
- define cause in IBS
Features about explanations:

- fix antidomains
- explain propagator activation via implies constraint
- refactor how variables are explained
- add Explained LNS
- add lazy explanation engine
Few fixes
Add LastConflict reasoning
Fix bug in FGoal when "-dv" is on, add database option for FZN
Merge branch 'feature-fix' into develop
fix FGoal
PropArnaud
integration sweep local
fix cumul
fix list memory
adaptive probabilistic alldiff
just for tests on server
merge
merge fgoal