ggtags-mode を整備