Merge branch 'unstable' into lustrec-seal

LICENSE-kind.md

configure.ac

doc/integer_division.org

src/_tags.in

src/backends/C/c_backend_common.ml

src/backends/C/c_backend_header.ml

src/backends/C/c_backend_makefile.ml

src/backends/C/c_backend_src.ml

src/backends/Horn/horn_backend_printers.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

src/cocospec/kindPretty.ml