Add Ocamlyices and fix latest Oclock

Add Opam package for Ocamlyices a binding to the Yices SMT solver.
I also removed a superfluous dependency in Oclock.
Cheers