proposal and latex-related gitignore file/rules