lang/seed7: update to 05_20260711
Changes: https://github.com/ThomasMertes/seed7/releases/tag/Seed7_release_2026-07-11