fix(deps): update dependency it.unibo.tuprolog:ide to v1.0.3

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
it.unibo.tuprolog:ide	1.0.2 -> 1.0.3

---

Release Notes

tuProlog/2p-kt (it.unibo.tuprolog:ide)

v1.0.3

Compare Source

Dependency updates

• deps: update kotlin monorepo to v1.9.24 (e554fbe)
• deps: update node.js to 20.13 (aaefb09)
• deps: update plugin gitsemver to v3.1.5 (fc4f378)
• deps: update plugin org.danilopianini.gradle-pre-commit-git-hooks to v2.0.5 (1075fcb)

Bug Fixes

• ide: bug preventing loading of theories in :ide (3ddae3f)

Build and continuous integration

• deps: update actions/checkout action to v4.1.5 (717e447)
• deps: update danysk/action-checkout action to v0.2.17 (f3372b3)

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

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

---

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

---

This PR has been generated by Mend Renovate. View repository job log here.