busy synctex to .gitignore