We don't really need to keep these in the git repository, since they're LaTeX's auxiliary files that change on every compile.