Add PLDI'25 readme to list of artifact readmes on readthedocs

[michael-schwarz]

[michael-schwarz]

The descriptions are here https://github.com/tum-cit-pl/precision-recovery-mixed-flowsens-benchmarks, one should incorporate all 3 READMEs, the toplevel one and the one in subdirectories.