git: Ignore tags file (from ctags)