Allow selecting whether to use system dependencies or download vendored#275

Merged

diegoferigo merged 2 commits intorobotology-legacy:develfrom diegoferigo:feature/improve_external_deps

Nov 17, 2020

+28-16

Commits on Nov 17, 2020