Diff ppxlib-0.18.0 with a ppxlib-0.20.0-r1

Thank you!