More changes to the bootstrapping documentation.  Renaming the INSTALL_GIT file to the better-looking INSTALL.git.