Add doc/tags to .gitignore

Closes #19