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.
Fixed slicing of nodes with multiple outputs
Fixed substitution of variables by definitions in quantifier elimination
Add k-true properties as invariants in BMC
Usage and Requirements to README.md
Choose last node when main annotation is missing
Change option to --timeout_wall and --timeout_virtual
Warn if list of properties is empty
Add property to node if subrange cannot be type-checked
Split predicate definitions to initial state constraint and transition relation
Merge pull request #84 from chsticksel/master

Bugfixes and minor refactoring
Output, documentation and source cleanup
Merge pull request #85 from chsticksel/master

Output, documentation and source cleanup
Create LICENSE-ocamlczmq.md
Update README.md
Ensure messages are received and sent in order
Update build scripts
Squashed 'ocamlczmq/' changes from 8d88971..2ef98ae

2ef98ae Updated version numbers of ZeroMQ and CZMQ

git-subtree-dir: ocamlczmq
git-subtree-split: 2ef98ae7d393647584732277530b673baf7184f8
Updated ocamlzeromq
Reverted name to kind2