Add PLDI'25 artifact description to readthedocs #14980

Job	Run time
regression (macos-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	16m 42s
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)	7m 44s
extraction	0s
	24m 26s

Provide feedback