Enrich .gitignore

.gitignore

@@ -1,14 +1,44 @@
-/build
-/lake-packages
-/.lake
-/.cache
+## macOS
 .DS_Store
+## Lake
+.lake/*
+.cache/*
+.devenv/*
+.stfolder/*
 /lakefile.olean
+/lake-packages/*
+/build
+## Blueprint
+/blueprint/lean_decls
+/blueprint/print/print.log
+/blueprint/web/
+/blueprint/src/web.paux
+/blueprint/src/web.bbl
+/blueprint/print/
+## Docs
+docs/_includes/sorries.md
+## TeX
 *.aux
-*.fdb_latexmk
-*.fls
+*.lof
 *.log
+*.lot
+*.fls
+*.out
+*.toc
+*.fmt
+*.fot
+*.cb
+*.cb2
+.*.lb
+*.bbl
+*.bcf
+*.blg
+*-blx.aux
+*-blx.bib
+*.run.xml
+*.fdb_latexmk
+*.synctex
+*.synctex(busy)
 *.synctex.gz
-# Lean blueprint
-/blueprint/lean_decls
-/blueprint/src/web.bbl
+*.synctex.gz(busy)
+*.pdfsync