Added /tags to doc/.gitignore