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
Merge pull request #20 from chsticksel/master

Brand-new parser for Lustre
Merge pull request #21 from chsticksel/master

Added Makefile for parser
Fixed interpreter
Client can cancel a job by sending a message to the server
Back to default path for pkind
Merge pull request #22 from chsticksel/kind2-server

Client can cancel a job by sending a message to the server
fixed negative input value for k
Output of counterexample with original instead of internal name
Adjusted log levels
Interpreter for Lustre files