message: Fix Try/catch the call to pdflatex at init
  We call pdflatex at initialization to determine if it comes from MiKTeX.
  We silently ignore errors here to enable the use of the extension even
  with no LaTeX distribution.
diff: @@ -28,9 +28,14 @@ export class Builder {
  this.tmpDir = tmp.dirSync({unsafeCleanup: true}).name.split(path.sep).join('/')
  this.buildMutex = new Mutex()
  this.waitingForBuildToFinishMutex = new Mutex()
  + try {
  const pdflatexVersion = cp.execSync('pdflatex --version')
  if (pdflatexVersion.toString().match(/MiKTeX/)) {
  this.isMiktex = true
  + this.extension.logger.addLogMessage('pdflatex is provided by MiKTeX')
  + }
  + } catch (e) {
  + this.extension.logger.addLogMessage('Cannot run pdflatex to determine if we are using MiKTeX')
  }
  }
  