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