Allow a version override for the install script.

So you can more easily set up a development environment on a clean
server, checking out master.