updated INSTALL.txt to use git