Add Ocamlyices v0.7.0