complete interpreter
test
No lower bound from inequalities in Cooper QE
Merge branch 'master' of github.com:chsticksel/kind2
Merge remote-tracking branch 'kind2_master/master'
old parser

Conflicts:
	src/oldParser.mli
Added Kind 2 server
Bugfixes in Kind server
Default path to pkind is /usr/local/bin
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