Add an option to move the cursor to end of lock zone after [CoqNext] and [CoqUndo] ( fix #16 )
Merge branch 'master' into pathogen-bundle