gitignore doc/tags.

git status with this plugin in a submodule looks bad otherwise.
Merge pull request #18 from henrik/master

gitignore doc/tags.