complete interpreter
test
Merge remote-tracking branch 'kind2_master/master'
old parser

Conflicts:
	src/oldParser.mli
Option name changed in Z3
Lexer for Lustre files
Merge branch 'master' of github.com:chsticksel/kind2
Extended lexer to parse all our benchmarks
Added contracts with --@requires and --@ensures
Parser for expressions
Added positions to each expresssion
Added meaningful not_found exception messages
fixed unbounded value "res.constr" in line 1440
Lexer with included files
changed to state_var_of_original_name
Flag for input file to interpreter
Flag for number of steps
Parser for type declarations
Parser for constant declarations
Fixed flag --interpeter_steps
fixed interpreter and tested