ggtags: ignore case in search pattern