Remove doc/tags and add it into .gitignore