Better README and add library-only Yices install

Add OPAM setup info
Add support for trimmed down Yices tarballs
Add doc/ dir to gitignore