ci: add extra information to release notes

[dlachaume]

Content

This PR includes improvements to the GitHub release notes by adding missing information:

• A Download a binary asset section explaining how to use the one-line installer
• A Download a Docker image section with a table listing Docker image tags and registry URLs

---

unstable

---

release

Pre-submit checklist

• Branch
  • Tests are provided (if possible)
  • Crates versions are updated (if relevant)
  • CHANGELOG file is updated (if relevant)
  • Commit sequence broadly makes sense
  • Key commits have useful messages
• PR
  • All check jobs of the CI have succeeded
  • Self-reviewed the diff
  • Useful pull request description
  • Reviewer requested
• Documentation
  • Update README file (if relevant)
  • Update documentation website (if relevant)
  • Add dev blog post (if relevant)
  • Add ADR blog post or Dev ADR entry (if relevant)
  • No new TODOs introduced

Issue(s)

Closes #2638

[github-actions]

Test Results

    4 files  ±0    154 suites  ±0   22m 38s ⏱️ -22s
2 118 tests ±0  2 118 ✅ ±0  0 💤 ±0  0 ❌ ±0 
6 466 runs  ±0  6 466 ✅ ±0  0 💤 ±0  0 ❌ ±0 

Results for commit 757fd5e. ± Comparison against base commit 5a699e2.

♻️ This comment has been updated with latest results.

[jpraynaud]

LGTM 👍

[turmelclem]

LGTM 🐎

[Alenar]

LGTM 🚀