cli: use docker automatically when vivado is not found#47

anuejn wants to merge 1 commit intomainapertus-open-source-cinema/naps:mainfrom

anuejn/automatic_dockerapertus-open-source-cinema/naps:anuejn/automatic_dockerCopy head branch name to clipboard