Added automation to update and rebuild everything.

checkout.sh now switches existing repos to the desired branch and does
a git-pull if the repo is already present.

New script 'checkout_all.sh' calls checkout on all desired repos.
Invoking it directly will ensure everything is updated.

build.sh no longer does the git-pull.