Skip picotool and picoprobe if they already exist#6

lurch wants to merge 1 commit intoraspberrypi:masterraspberrypi/pico-setup:masterfrom

lurch:patch-1lurch/pico-setup:patch-1Copy head branch name to clipboard