New variable ggtags-global-ignore-case