fix repository location
Merge branch 'develop' of github.com:fhermeni/btrplace-solver into develop