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

Conflicts:
	src/oldParser.mli