Move the Coq editor's cursor whenever a StepRunner completes successfully