adding missing file, getting rid of wrong .gitignore