refactor agda-mode:next and previous-goal ot the HoleManager, no direct access with Holes allowed anymore