message: try and fix flakey tests by making stop client a bit more robust.
diff: @@ -107,6 +107,7 @@ export class LeanClient implements Disposable {
  async restart(): Promise<void> {
  const startTime = Date.now()
  + console.log('Restarting Lean Language Server')
  if (this.isStarted()) {
  await this.stop()
  }
  @@ -429,10 +430,14 @@ export class LeanClient implements Disposable {
  assert(() => this.isStarted())
  if (this.client && this.running) {
  this.noPrompt = true;
  + try {
  await this.client.stop()
  - this.noPrompt = false;
  + } catch (e) {
  + console.log(`Error stopping language client: ${e}`)
  + }
  }
  + this.noPrompt = false;
  this.progress = new Map()
  this.client = undefined
  this.running = false
  