Adding INSTALL file and tweaking .gitignore.