Git-less installation script

This downloads and installs the tarball from github rather than making a git clone.
I've put it in its own file so that people still have a choice.