agda-mode:next-goal
fix stuck in some hole
jump only when there are any goals