V2#109

Merged

smellai merged 13 commits intomasterfrom

Apr 5, 2019

Commits on Apr 2, 2019

Make sure to use v2 when enabled to download required tools
matteosuppo
committed

Commits on Apr 3, 2019

Don't use v2 if it's not available
matteosuppo
committed

Commits on Apr 4, 2019

make install tool ui a little nicer
Alberto Iannaccone
committed

Commits on Apr 5, 2019

Revert code formatting done by vscode
matteosuppo
committed
minor fixes demo, updated some deps
Stefania
committed
2.2.0
Stefania
committed