Git now ignores redundant latex files