Regression in continuous mode

[rtetley]

• Messages no longer seems to work in continuous mode as was reported here: https://coq.zulipchat.com/#narrow/channel/237662-VsCoq-devs-.26-users/topic/Messages.20are.20not.20shown.20with.20updated.20VSCoq
• Probably related to Interpret to position regression #954

This is probably due to the fact that commands that show feedback (such as Print, Search, etc...) are not stepped through when interpreting to position (#951)

[gares]

I think the analysis is correct, the sceduler is too smart in continuous mode.
Actually, I think skipping queries is just overo ptimization. We could just change that behavior.