Merge pull request #18 from model-checking/dependabot/npm_and_yarn/typescript-5.9.3

Bump typescript from 4.9.4 to 5.9.3

Author: tautschnig

package-lock.json

@@ -139,7 +139,7 @@
     "eslint": "^7.32.0",
     "glob": "^7.1.7",
     "mocha": "^11.7.1",
-    "typescript": "^4.5.5",
+    "typescript": "^5.9.3",
     "typescript-formatter": "^7.2.2",
     "@vscode/vsce": "^3.7.1"
   },