chore(deps): bump astro from 7.0.9 to 7.1.3 in /website

Bumps [astro](https://github.com/withastro/astro/tree/HEAD/packages/astro) from 7.0.9 to 7.1.3.
- [Release notes](https://github.com/withastro/astro/releases)
- [Changelog](https://github.com/withastro/astro/blob/main/packages/astro/CHANGELOG.md)
- [Commits](https://github.com/withastro/astro/commits/astro@7.1.3/packages/astro)

---
updated-dependencies:
- dependency-name: astro
  dependency-version: 7.1.3
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

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

Author: dependabot[bot]

website/package-lock.json

@@ -16,7 +16,7 @@
   "dependencies": {
     "@astrojs/check": "^0.9.9",
     "@astrojs/starlight": "^0.41.3",
-    "astro": "^7.0.9",
+    "astro": "^7.1.3",
     "sharp": "^0.35.3",
     "typescript": "^6.0.3"
   },