Merge pull request #88 from chsticksel/develop

Final changes before release
Update README.md
Update test.lus
Update README.md

A few minor edits.
Added Menhir among the requirements
Mention --prefix option of build.sh earlier
Merge pull request #89 from chsticksel/develop

Don't use tautological equations as rewrites in QE
Added Yices solver