Add a shell script to fetch tools

We expect to use most or all of us these in our CI pipeline soon.