Add Trino Gateway 13 release notes

[mosabua]

Description

Assemble the release notes for Trino Gateway 13 release and adjust rest of docs to version 13.

Additional context and related issues

As a follow up we need to merge trinodb/charts#270 for the Helm chart after this release is done.

Release notes

(x) This is not user-visible or is docs only, and no release notes are required.

Verification for each pull request

Format: PR/issue number, ✅ / ❌ rn ✅ / ❌ docs
✅ rn - release note added and verified, or assessed to be not necessary, set to ❌ rn before completion
✅ docs - need for docs assessed and merged, or assessed to be not necessary, set to ❌ docs before completion

Any dates missing in the list just had no merged PRs.

11 Nov 2024

• Remove space from end of file name #547 ✅ rn ✅ docs
• Upgrade Trino version in test runner #550 ✅ rn ✅ docs
• Remove GitHub button in UI #549 ✅ rn ✅ docs
• Add Source filter to History page #551 ✅ rn ✅ docs

15 Nov 2024

• add proxy handler for PUT request #543 ✅ rn ✅ docs

27 Nov 2024

• Implement automatic logout for WebUI #544 ✅ rn ✅ docs

28 Nov 2024

• Upgrade to pnpm 9.14.2 #536 ✅ rn ✅ docs

2 Dec 2024

• Adjust to the moved Helm chart #558 ✅ rn ✅ docs
• Update Trino in runner class #561 ✅ rn ✅ docs