.gitignore: ignore *.synctex.gz