build(deps-dev): bump eslint from 8.57.1 to 9.13.0 in /docs/examples

Bumps [eslint](https://github.com/eslint/eslint) from 8.57.1 to 9.13.0.
- [Release notes](https://github.com/eslint/eslint/releases)
- [Changelog](https://github.com/eslint/eslint/blob/main/CHANGELOG.md)
- [Commits](eslint/eslint@v8.57.1...v9.13.0)

---
updated-dependencies:
- dependency-name: eslint
  dependency-type: direct:development
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

docs/examples/package.json

@@ -19,7 +19,7 @@
     "@epfml/discojs-node": "*"
   },
   "devDependencies": {
-    "eslint": "8",
+    "eslint": "9",
     "typescript": "5",
     "typescript-eslint": "8"
   }