Remove unused script.
Add a target 'make update'.

This target updates the sources in the sandbox from the SCM.
Right now, this internally calls 'make checkout', but this
may change later.
Pull out logic for checking out source tree from do_build.sh into a separate do_checkout.sh script.

In the top-level Makefile, call do_checkout.sh from the "make checkout" target.