Add gitignore; ignore '/doc/tags'