.gitignore: an additional latex tmp file