bump(ada-language-server): update to v25

[renovate]

This PR contains the following updates:

Package	Update	Change
ada-language-server	major	24.0.6 -> 25.0.20241014

---

Warning

Some dependencies could not be looked up. Check the Dependency Dashboard for more information.

---

Release Notes

AdaCore/ada_language_server (ada-language-server)

v25.0.20241014

Compare Source

Release notes

• Fix the removal of old log files in the ~/.als directory
• Fix the Ada: Go to other file command for child packages
• Fix various project loading issues after significant changes in the GPR2 project loading API
  • Make sure all project issues are emitted as diagnostics
  • Avoid lingering diagnostics from earlier failed loading attempts
  • Treat a subclass of non-critical project issues as non-blocking for the ALS
  • Add a setting ada.projectDiagnostics to control whether the ALS should emit project diagnostics
• Fix the ada: Run main task when the main executable is at the workspace root

v25.0.20240915

Compare Source

• Implement type hierarchy requests
• Migrate the build infrastructure to ALIRE
• Migrate the VSIX publication infrastructure out of GitHub Actions
• Revamp the VS Code extension walkthrough
• Filter invisible completion items by unit prefix
• Provide SPARK CodeLenses on subprograms when gnatprove is on PATH
• Improve completion for GPR project files

---

Configuration

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

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR becomes conflicted, 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 was generated by Mend Renovate. View the repository job log.

[Conarius]

Package names have changed and are now .tar.gz for all platforms