add automata folder to tests
add kind/simulation tests
add kind/protocol tests
add kind/misc tests
add memory2 tests
add kind/memory1 test
change kind folder
add targets
compare Zustre xml with lustrec binary
clean repo
add kind_fmcad08/large to tests