WIP: Transition to Eio#12

Julow wants to merge 6 commits intoocsigen:masterocsigen/ocsipersist:masterfrom

Julow:to-eioJulow/ocsipersist:to-eioCopy head branch name to clipboard