Migrate to choco-3.3.0
Merge branch 'develop' of https://github.com/chocoteam/choco-graph into develop