Add doc/tags to gitignore to ease submoduling this repo