Final version of .gitignore (for now)