Add --no-extensio-on-workers to citus_dev#77

JelteF wants to merge 2 commits intodevelopcitusdata/tools:developfrom

worker-extension-missingcitusdata/tools:worker-extension-missingCopy head branch name to clipboard