Start yices on a given path with given options.
The first argumnet yPath is the path binary file of yices
(e.g. homekyagrdyices-1.0.21bin/yices).
By default -i and -e options are already present, and
yOpts argument appens more options