Bump micrometer.version from 1.12.5 to 1.13.5

Bumps `micrometer.version` from 1.12.5 to 1.13.5.

Updates `io.micrometer:micrometer-registry-jmx` from 1.12.5 to 1.13.5
- [Release notes](https://github.com/micrometer-metrics/micrometer/releases)
- [Commits](micrometer-metrics/micrometer@v1.12.5...v1.13.5)

Updates `io.micrometer:micrometer-registry-prometheus` from 1.12.5 to 1.13.5
- [Release notes](https://github.com/micrometer-metrics/micrometer/releases)
- [Commits](micrometer-metrics/micrometer@v1.12.5...v1.13.5)

Updates `io.micrometer:micrometer-registry-influx` from 1.12.5 to 1.13.5
- [Release notes](https://github.com/micrometer-metrics/micrometer/releases)
- [Commits](micrometer-metrics/micrometer@v1.12.5...v1.13.5)

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

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

vertx-mutiny-clients/vertx-mutiny-micrometer-metrics/pom.xml

@@ -15,7 +15,7 @@
         <gen-source-groupId>io.vertx</gen-source-groupId>
         <gen-source-artifactId>vertx-micrometer-metrics</gen-source-artifactId>
         <gen.output>${project.build.directory}/sources/java</gen.output>
-        <micrometer.version>1.12.5</micrometer.version>
+        <micrometer.version>1.13.5</micrometer.version>
     </properties>
 
     <dependencies>