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.
finished implementing stateless variable reconstruction (have not tested yet)
Merge pull request #97 from chsticksel/develop

Documentation update and minor bug fix
Merge pull request #98 from chsticksel/develop

Get version number from Git if possible
Merge pull request #99 from chsticksel/develop

Equality between indexed types, bugfixes
Merge pull request #100 from chsticksel/develop

Examples for supported syntax and bugfixes
Started parser for native input format
Updated link to example file
Added included Lustre file
Merge remote-tracking branch 'upstream/develop' into native-input
Merge https://github.com/kind2-mc/kind2

Conflicts:
	src/lustrePath.ml
	src/lustrePath.mli
	src/transSys.ml
	src/transSys.mli

Merged from dev. Rewrote plaintext pretty-printing code to use new tree_path
data-type. Modified stateless variable reconstruction to inlcude node calls,
transitive reconstruction, and reconstruction from abstract and oracle streams.
Commented and cleaned up.

Added new functions to lib.ml:
-list_init
-list_zip
-list_unzip
-array_max
-pp_print_arrayi
Merge branch 'develop' of https://github.com/kind2-mc/kind2

Conflicts:
	src/lustrePath.ml
Removed the type node_prop from lustrePath.ml. I didn't think it was different enough from
LustreExpr.state_var_source to warrant having another type.
Parser for native input finished, not tested
Merge pull request #102 from chsticksel/develop

Corrected SMT trace output with multiple lines
Bugfix for transition predicate
Merge remote-tracking branch 'upstream/develop' into native-input
Merge pull request #103 from chsticksel/native-input

Native input