message: Add new 'stopped' event for tests to use.
diff: @@ -74,6 +74,9 @@ export class LeanClient implements Disposable {
  private progressChangedEmitter = new EventEmitter<[string, LeanFileProgressProcessingInfo[]]>()
  progressChanged = this.progressChangedEmitter.event
  + private stoppedEmitter = new EventEmitter()
  + stopped = this.stoppedEmitter.event
  +
  private restartedEmitter = new EventEmitter()
  restarted = this.restartedEmitter.event
  @@ -100,13 +103,13 @@ export class LeanClient implements Disposable {
  }
  async restart(): Promise<void> {
  - this.restartingEmitter.fire(undefined)
  const startTime = Date.now()
  if (this.isStarted()) {
  await this.stop()
  }
  + this.restartingEmitter.fire(undefined)
  this.toolchainPath = this.storageManager.getLeanPath();
  if (!this.toolchainPath) this.toolchainPath = toolchainPath();
  const version = this.storageManager.getLeanVersion();
  @@ -394,6 +397,7 @@ export class LeanClient implements Disposable {
  async stop(): Promise<void> {
  assert(() => this.isStarted())
  if (this.client && this.running) {
  + this.stoppedEmitter.fire(undefined);
  await this.client.stop()
  }
  