Add a .gitignore, ignoring doc directory