[client] Update package.json dependencies

We update all deps but esbuild, the performance improves for jQuery
can be interesting for us!

We also update the Typescript version.

We defer the update of esbuild to its own PR, as it requires more
tweaks to work / refine.

.github/workflows/build.yml

@@ -102,9 +102,9 @@ jobs:
       - name: 🚀 Setup node
         uses: actions/setup-node@v3
         with:
-          node-version: 16
+          node-version: 18
       - run: npm ci
-      - run: npx --yes vsce ls
+      - run: npx --yes @vscode/vsce ls
 
   nix-flake-check:
     name: Nix Flake Check

CHANGES.md

@@ -1,3 +1,9 @@
+# coq-lsp 0.1.8: Dot / Bracket
+------------------------------
+
+ - Update VSCode client dependencies, should bring some performance
+   improvements to goal pretty printing (@ejgallego, #530)
+
 # coq-lsp 0.1.7: Just-in-time
 -----------------------------
 

editor/code/.prettierrc

@@ -0,0 +1,6 @@
+{
+  "trailingComma": "es5",
+  "tabWidth": 2,
+  "semi": true,
+  "singleQuote": false
+}