Improve "Missing Yices" error message

Add one-line tarball install command