Bump astro from 5.12.8 to 5.13.1

Bumps [astro](https://github.com/withastro/astro/tree/HEAD/packages/astro) from 5.12.8 to 5.13.1.
- [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/[email protected]/packages/astro)

---
updated-dependencies:
- dependency-name: astro
  dependency-version: 5.13.1
  dependency-type: direct:production
...

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

Author: dependabot[bot]

package-lock.json

@@ -31,7 +31,7 @@
   },
   "dependencies": {
     "ace-builds": "^1.35.0",
-    "astro": "^5.12.8",
+    "astro": "^5.13.1",
     "bootstrap": "^5.3.7",
     "htmlhint": "^1.6.3"
   },