8c6170d2 Fix lint in all the build-tools scripts
239935c0 shell-lint tool
d9ab133a Script for finding files with a given type
1b64e461 Add Weave Cloud client
f2e40b45 Time out commands after three minutes
2da55cee Don't spell-check compressed files
e9749a53 Make scheduler aware of test parallelisation

git-subtree-dir: tools
git-subtree-split: 8c6170d2