New variable ggtags-highlight-tag-delay

A better way to custom-set property for ggtags-mode-prefix-key.