Highlight tag at point using idle timer for efficiency

Also enhance ggtags-highlight-tag-at-point to re-highlight tag at
point correctly after it is modified.
Tweak parameters to global in ggtags-tag-names

-T tells global to include tags from tag files in GTAGSLIBPATH.