Add doc/tags to .gitignore