Added hotkey for ggtags-grep