git ignore 'tags' file created by ctags