GROMACS 2023.5 patch release

Dear GROMACS Developers,

We have released Patch 2023.5, which addresses a number of issues that were reported.

Huge thanks to everyone who contributed to issue identification and resolution for this release! 🚀

Best,
Tatiana Shugaeva