Bump ajv from 8.18.0 to 8.20.0 in /tools

Bumps [ajv](https://github.com/ajv-validator/ajv) from 8.18.0 to 8.20.0.
- [Release notes](https://github.com/ajv-validator/ajv/releases)
- [Commits](ajv-validator/ajv@v8.18.0...v8.20.0)

---
updated-dependencies:
- dependency-name: ajv
  dependency-version: 8.20.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>

Author: dependabot[bot]

tools/package-lock.json

@@ -4,7 +4,7 @@
     "validate": "node validate.js"
   },
   "dependencies": {
-    "ajv": "^8.18",
+    "ajv": "^8.20",
     "ajv-formats": "^3.0",
     "glob": "^13.0"
   }