Turn off ggtags-navigation-mode after compilation-auto-jump

so that ggtags-global-next-error-hook has a chance to run.