yices-0.0.0.1: README

See Main.hs for example usage.