Release v1.25.0, August 2024

This is identical to v1.24.0. This is tagged again
so that it matches the A-plus version 1.25.

Release notes:
https://apluslms.github.io/releases/v1_25.html
https://apluslms.github.io/releases/v1_24.html