Bring diagrams-ghci up to date
Add a .gitignore