build(deps): bump io.micrometer:micrometer-registry-prometheus

Bumps [io.micrometer:micrometer-registry-prometheus](https://github.com/micrometer-metrics/micrometer) from 1.12.6 to 1.13.0.
- [Release notes](https://github.com/micrometer-metrics/micrometer/releases)
- [Commits](micrometer-metrics/micrometer@v1.12.6...v1.13.0)

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

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

Author: dependabot[bot]

gradle/libs.versions.toml

@@ -34,7 +34,7 @@ apacheCxf="3.6.3"
 node="18.17.1"
 modelixBuildtools="1.5.0"
 openapi = "7.6.0"
-micrometer = "1.12.6"
+micrometer = "1.13.0"
 dokka = "1.9.20"
 detekt = "1.23.6"
 

model-server/src/main/kotlin/org/modelix/model/server/handlers/MetricsHandler.kt

@@ -33,8 +33,8 @@ import io.micrometer.core.instrument.binder.system.FileDescriptorMetrics
 import io.micrometer.core.instrument.binder.system.ProcessorMetrics
 import io.micrometer.core.instrument.binder.system.UptimeMetrics
 import io.micrometer.core.instrument.distribution.DistributionStatisticConfig
-import io.micrometer.prometheus.PrometheusConfig
-import io.micrometer.prometheus.PrometheusMeterRegistry
+import io.micrometer.prometheusmetrics.PrometheusConfig
+import io.micrometer.prometheusmetrics.PrometheusMeterRegistry
 import org.modelix.api.operative.Paths
 
 class MetricsHandler {