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

Conflicts:
	src/oldParser.mli
Added meaningful not_found exception messages
fixed unbounded value "res.constr" in line 1440
changed to state_var_of_original_name
Flag for input file to interpreter
Flag for number of steps
Fixed flag --interpeter_steps
fixed interpreter and tested
Fixed interpreter
fixed negative input value for k
Output of counterexample with original instead of internal name
Adjusted log levels
Interpreter for Lustre files