Setup ggtags-mode