Tentative to rely on Kind parser for contracts

src/_tags.in

src/cocospec/kindIdent.ml

src/cocospec/kindIdent.mli

src/cocospec/kindLib.ml

src/cocospec/kindLib.mli

src/cocospec/kindLog.ml

src/cocospec/kindLog.mli

src/cocospec/kindLustreAst.ml

src/cocospec/kindLustreAst.mli

src/cocospec/kindLustreLexer.mll

src/cocospec/kindLustreParser.mly

src/cocospec/kindPretty.ml

src/cocospec/kindPretty.mli

src/lexer_lustre.mll

src/printers.ml