build(deps): bump io.micrometer:micrometer-core from 1.12.1 to 1.13.1

Bumps [io.micrometer:micrometer-core](https://github.com/micrometer-metrics/micrometer) from 1.12.1 to 1.13.1.
- [Release notes](https://github.com/micrometer-metrics/micrometer/releases)
- [Commits](micrometer-metrics/micrometer@v1.12.1...v1.13.1)

---
updated-dependencies:
- dependency-name: io.micrometer:micrometer-core
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

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

gradle/libs.versions.toml

@@ -22,7 +22,7 @@ jetty = "11.0.19"
 jetty-jakarta-servlet-api = "5.0.2"
 junit-pioneer = "2.2.0"
 jupiter = "5.10.1"
-micrometer = "1.12.1"
+micrometer = "1.13.1"
 mockito = "5.2.0"
 nimbus = "9.37.3"
 okhttp = "4.12.0"