Fix #40: New user variable ggtags-supress-navigation-keys