.gitignore: ignore doc/tags