Fix get_unsat_core
Add travis continuous integration
Add ocaml install script for travis
Add libgmp dependency for travis
Update cache parameter and add yices_name variable for Travis
Update gitignore and add charset to html doc

Also add some cache directories for Travis
Better README and add library-only Yices install

Add OPAM setup info
Add support for trimmed down Yices tarballs
Add doc/ dir to gitignore
Switch to trimmed libraries for travis build

and
add utf-8 to make doc
add custom build for travis
Rename MAKEFLAGS to OYFLAGS in travis yml
Improve README, META file, and fix name caps

More links in README, add Travis-CI status, remove version from title...

Remove OCamlyices names from description field in META (redundant).

OCaml is written with O and C in uppercase. It should be so everywhere now, and for consistency, Ocamlyices becomes OCamlyices.