Update vertx to v5.1.7

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
io.vertx:vertx-lang-kotlin-coroutines (source)	5.1.6 → 5.1.7
io.vertx:vertx-lang-kotlin (source)	5.1.6 → 5.1.7
io.vertx:vertx-core (source)	5.1.6 → 5.1.7

---

Release Notes

vert-x3/vertx-lang-kotlin (io.vertx:vertx-lang-kotlin-coroutines)

v5.1.7

Compare Source

eclipse/vert.x (io.vertx:vertx-core)

v5.1.7

Compare Source

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • At any time (no schedule defined)
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about these updates again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.