New command ggtags-find-definition for #57