jacdac-python/scripts/devtools.sh