Added support for creating synthetic CoqSteps to CoqEditorHandler

There are currently no circumstances in which synthetic CoqSteps will be
created, because they still interact badly with certain kinds of
backtracking
Handle synthetic steps properly when Coq rewinds too far
Treat standalone Coq comment blocks as synthetic steps