Enhance ggtags-next/prev-mark to handle dead markers