Add ggtags bindings