Customise ggtags-mode-prefix-key should just work