updated .gitignore, added stuff to INSTALL