minor fixes in the documentation
Merge branch 'develop' of github.com:fhermeni/btrplace-solver into develop
Merge branch 'develop' of github.com:fhermeni/btrplace-solver into develop
remove useless dependency