New release

[athas]

Starting with GCC 14, the the latest (ten year old) release of MosML will no longer cpmpile, as the missing include of <stdio.h> in src/config/auto-aux/sizes.c becomes an error. This was fixed in 52b00ca, but is not part of the latest release.