Add support for an additional install prefix

The idea is that you can call "./update.bash PREFIX" to install these
tools somewhere else.