lang/seed7: update to 05_20240630
Changes: https://github.com/ThomasMertes/seed7/releases/tag/Seed7_release_2024-06-30