add automata folder to tests
add adrien test folder
add memory2 tests
add targets
compare Zustre xml with lustrec binary
add kind_fmcad08/large to tests
add horn option for Stateflow
add Simulink
compare C binary with reference outputs
add regression tests with cmake