added .gitignore for doc/tags