add automata folder to tests
add adrien test folder
add kind_fmcad08/large to tests
add Simulink
add regression tests with cmake