Add a .gitignore file

Mainly for the doc/tags file