Started parser for native input format
Merge remote-tracking branch 'upstream/develop' into native-input
Parser for native input finished, not tested
Corrected SMT trace output with multiple lines
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
Moved functions to Lib and Event
Reconstruct stateless stream in countereaxamples

Conflicts:
	src/transSys.ml
	src/transSys.mli
More updates from merge
Fix interpreter and save input output dependencies
Counterexample output for native input
Bugfix in dependency order
removed zip and unzip from lib.ml. Used combine and split instead.
Merge branch 'cex' of https://github.com/kind-mc/kind2

Merging Christoph's integration of variable reconstruction into kind2 so that I can debug it.
Append oracles onto formals, so that we can combine them without causing a crash.
And because we need to substitute actual oracles for formal oracles.