Improve ggtags-next-mark