.gitignore: in addition to ignoring "TAGS" ignore "tags".

minor nitpick: .gitignore ignores "TAGS" but not "tags".