build(deps-dev): bump typescript-eslint from 7.7.1 to 7.13.1

Bumps [typescript-eslint](https://github.com/typescript-eslint/typescript-eslint/tree/HEAD/packages/typescript-eslint) from 7.7.1 to 7.13.1.
- [Release notes](https://github.com/typescript-eslint/typescript-eslint/releases)
- [Changelog](https://github.com/typescript-eslint/typescript-eslint/blob/main/packages/typescript-eslint/CHANGELOG.md)
- [Commits](https://github.com/typescript-eslint/typescript-eslint/commits/v7.13.1/packages/typescript-eslint)

Also: add @types/semver to dev dependencies.

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

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

package.json

@@ -61,6 +61,7 @@
     "@types/is-ci": "^3.0.4",
     "@types/mocha": "^10.0.6",
     "@types/node": "^20.12.7",
+    "@types/semver": "^7.5.8",
     "@types/sinon": "^17.0.3",
     "chai": "^4.4.1",
     "eslint": "^8.57.0",
@@ -79,6 +80,6 @@
     "ts-proto": "^1.172.0",
     "type-fest": "^4.18.2",
     "typescript": "^5.5.2",
-    "typescript-eslint": "^7.7.1"
+    "typescript-eslint": "^7.13.1"
   }
 }