Test dream (do not merge or remove)

[fblanqui]

Following aantron/dream#390, here are the versions of ocaml, dream-pure, dream-httpaf and dream that work on 06/06/25 (https://github.com/Deducteam/lambdapi/actions/runs/15489333006):

5.03.0, 1.0.0~alpha2, 1.0.0~alpha4, 1.0.0~alpha8

and on 29/04/25 (https://github.com/Deducteam/lambdapi/actions/runs/14729052162):

4.09.1, 1.0.0~alpha1, 1.0.0~alpha1, 1.0.0~alpha3
4.09.1, 1.0.0~alpha2, 1.0.0~alpha1, 1.0.0~alpha4
4.09.1, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha5
4.09.1, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha6
4.09.1, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha5
4.09.1, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha6

4.10.2, 1.0.0~alpha2, 1.0.0~alpha1, 1.0.0~alpha4
4.10.2, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha5
4.10.2, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha6
4.10.2, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha5
4.10.2, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha6

4.11.2, 1.0.0~alpha1, 1.0.0~alpha1, 1.0.0~alpha3
4.11.2, 1.0.0~alpha2, 1.0.0~alpha1, 1.0.0~alpha4
4.11.2, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha5
4.11.2, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha6
4.11.2, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha6

4.12.1, 1.0.0~alpha1, 1.0.0~alpha1, 1.0.0~alpha3
4.12.1, 1.0.0~alpha2, 1.0.0~alpha1, 1.0.0~alpha4
4.12.1, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha5
4.12.1, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha6
4.12.1, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha5
4.12.1, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha6