Revert "Gitignore LaTeX temp files."

This reverts commit bc8e2d15.
We already ignore those in the tex folders. We don't want global ignores for them.
6 jobs for master in 20 minutes and 52 seconds (queued for 5 minutes and 22 seconds)
Status Job ID Name Coverage
  Build
passed #46852
fp
build-coq.8.10.0

00:09:34

passed #46851
fp-timing
build-coq.8.10.1

00:06:40

passed #46855
fp
build-coq.8.8.2

00:06:02

passed #46854
fp
build-coq.8.9.0

00:06:25

passed #46853
fp
build-coq.8.9.1

00:09:00

passed #46850
fp
build-coq.dev

00:16:42