Add an option to move the cursor to end of lock zone after [CoqNext] and [CoqUndo] ( fix #16 )