update gitignore

.gitignore

 *.aux
 *.log
 /gtlc.pdf
-*.agdai
+
 *.fls
 *.fdb_latexmk
 *.synctex.gz
 *.out
+
+*.toc
+*.nav
+*.snm
+*.bbl
+*.blg
+
+\#*
+.\#*
+*.agdai
 *.agda~
+
+
+