Add /doc/tags to a .gitignore

Other hide options should be considered, but this at least hides the
auto generated tags. This is probably only a problem for those pulling
the project in submodules.