Git: ignore LaTeX *.lot as well