[FEAT] Perhaps the reset (︽) command should restart vsrocq entirely?

[cpitclaudel]

Is your feature request related to a problem? Please describe.

I'm porting VSRocq into Alectryon and experimenting in VSCode. I'm getting VSRocq in an inconsistent state very often, and the reset button doesn't fix the issue. Running pkill vsrocq works, but after five times VSCode doesn't restart the server anymore.

Describe the Solution You'd Like

Given the current state of affairs, perhaps restarting the prover entirely when the reset (︽) button is pressed would be better?

[TheoWinterhalter]

It would be nice indeed so one doesn't have to "reload window" when the server crashed or is stuck in a looping tactic.