updating to onera version 30f766ab:2016-12-04

Makefile.in

configure.ac

include/arrow.h

src/Makefile

src/Makefile.in

src/automata.ml

src/backends/C/c_backend.ml

src/backends/C/c_backend_common.ml

src/backends/C/c_backend_header.ml

src/backends/C/c_backend_main.ml

src/backends/C/c_backend_makefile.ml

src/backends/C/c_backend_src.ml

src/backends/Horn/horn_backend.ml

src/basic_library.ml

src/causality.ml

src/clock_calculus.ml

src/clocks.ml

src/compiler_common.ml

src/corelang.ml

src/corelang.mli