Fix #34: New variable ggtags-global-always-update