Play Framework

chore: /deploy auto-trims to 5 releases per major.minor series

Adds a trim step after the GitHub release publish: groups all releases
by major.minor, sorts each group by patch number descending, keeps the
top 5, and deletes the rest. Git tags are preserved so old versions
remain checkoutable from source — only the GitHub Release wrappers and
their attached zips go away.

Filter validated against live (6 releases, 0 deletions) and synthetic
(7 of one series, prints the expected 2 to delete) inputs.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>