Module Ppx_irmin