Add version 0.7.1 of ocamlyices (hotfix)
Merge pull request #1351 from polazarus/master

Add version 0.7.1 of ocamlyices (hotfix)