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
Do not set produce-models option in SMT solver
Merge pull request #90 from chsticksel/develop

Do not set produce-models option in SMT solver
Fixed definition of first tick of a condact
Merge branch 'develop' of github.com:chsticksel/kind2 into develop
Merge pull request #91 from chsticksel/develop

Fixed definition of first tick of a condact
Keep reference of which fork runs which module

Event knows which module the process is, logging does not need to pass
this any more.
Output SMT command traces to files
Merge pull request #92 from chsticksel/develop

Log output and SMT command traces
Merge branch 'develop' of github.com:chsticksel/kind2 into develop
SMT trace to correct file in single process mode
Merge pull request #93 from chsticksel/develop

SMT trace to correct file in single process mode
SMT solver options: keep defaults if not set