Adding some image and swap files to gitignore
Some more diagrams on functors, and some for monads