Added TransSys.input type, for representing the source data which transition systems are created from. Added one variant, LustreInput, representing input from lustre source code.

Added field input to TransSys.t called input, with type TransSys.input. This will be used
to help transform the model into a form that is understandable to the user.
Changed tree_path type to use maps rather than association lists
reorganized lustrePath. Continued writing code for reconstructing stateless variables.
Don't use tautological equations as rewrites in QE
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
finished implementing stateless variable reconstruction (have not tested yet)
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
Merge pull request #94 from chsticksel/develop

SMT solver options: keep defaults if not set