Merge branch 'cocospec_to_be_merged' into unstable

Makefile.in

TODO.org

configure.ac

doc/grammar.html

src/_tags.in

src/checks/access.ml

src/checks/algebraicLoop.ml

src/checks/init_calculus.ml

src/checks/liveness.ml

src/checks/stateless.ml

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