Add doc/tags to gitignore to ease submoduling this repo
Merge branch 'gitignoring'