Merge pull request #19 from model-checking/dependabot/npm_and_yarn/glob-13.0.0

Bump glob from 7.2.3 to 13.0.0

Author: tautschnig

package-lock.json

@@ -137,7 +137,7 @@
     "@vscode/test-electron": "^2.1.3",
     "console": "^0.7.2",
     "eslint": "^7.32.0",
-    "glob": "^7.1.7",
+    "glob": "^13.0.0",
     "mocha": "^11.7.1",
     "typescript": "^5.9.3",
     "typescript-formatter": "^7.2.2",