.gitignore: add *.synctex.gz