lang/seed7: update to 05_20241118
Changes: https://github.com/ThomasMertes/seed7/releases/tag/Seed7_release_2024-11-18