adding onera automata version

autom4te.cache/output.0

autom4te.cache/requests

autom4te.cache/traces.0

configure.ac

src/Makefile

src/_tags

src/automata.ml

src/backends/C/c_backend_makefile.ml

src/backends/C/c_backend_src.ml

src/backends/Horn/horn_backend.ml

src/backends/Horn/horn_backend_collecting_sem.ml

src/backends/Horn/horn_backend_common.ml

src/backends/Horn/horn_backend_printers.ml

src/backends/Horn/horn_backend_traces.ml

src/clock_calculus.ml

src/clocks.ml

src/inliner.ml

src/lustreSpec.ml

src/machine_code.ml

src/main_lustre_compiler.ml