changes to .gitignore: ignore *.synctex.gz