chore: Moved the dev-tools plugin over to the monorepo#10155

lizschwab wants to merge 8 commits into

RaspberryPiFoundation:mainRaspberryPiFoundation/blockly:mainfrom

lizschwab:7763lizschwab/blockly:7763Copy head branch name to clipboard