Bump to 0.7.1
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.
Update README to add bad workaround for Yices with static GMP on 64-bit Linux
Fix spelling in README and wrap at 80
Add automatic switch to custom compilation mode

Automatic switch to custom compilation if libyices cannot be linked into a shared library
Remove forced custom compilation for Yices with static GMP in .travis.yml (it shall be automatic now)
Change OYFLAGS to be configure flags in .travis.yml