Implementation of the button restart in MainWindow.
And now, the commands are also eatten by the proof model.