Storing ctags file in .git/tags for convenience