* [gtags] using ggtags instead of gtags.el