update adrien folder
add horn option for Stateflow
compare C binary with reference outputs
add regression tests with cmake