Merge pull request #6 from chsticksel/master

Updated ocamlczmq, added variable for debug sections back to Makefile
test!
Cleaning ocamlczmq on make clean
Merge pull request #7 from chsticksel/master

Initial interface for Lustre interpreter
Merge pull request #8 from chsticksel/master

More work on the interpreter
Merge pull request #9 from chsticksel/master

Recursively configure ocamlczmq
Merge pull request #11 from chsticksel/master

New autogen and build script, configure and build ocamlczmq
Merge pull request #12 from chsticksel/master

Ocamldoc generation, example files and caching of string representation of terms
Interpreter and parser for csv input
Merge pull request #14 from chsticksel/master

Mapping of state variable names to original names in input files
Added LICENSE
added interpreter
Merge branch 'master' of https://github.com/PaulMeng/kind2
added dummy method to log counterexample
Merge pull request #13 from PaulMeng/master

Added interpreter
Merge remote-tracking branch 'upstream/master'
XML output of counterexamples