Don't allow Coq error markers to appear behind the completed marker

Kopitiam will now remove such markers when a CoqStepForwardRunner completes