Deleted .gitignore

We don't need this anymore, as the tree is just docs now (no generated
files).