Add version 0.7.1 of ocamlyices (hotfix)

Important bug fix for OCamlyices, no other change. Thanks