Disable ggtags-navigation-mode at the right time

Otherwise the *ggtags-global* buffer is not displayed until
compilation finishes.