Remove ggtags and just use gtags.el.