[aorai] split test dir in order to always launch ltl2ba-independent tests

src/plugins/aorai/Makefile.in

src/plugins/aorai/tests/aorai/bts1289.i

src/plugins/aorai/tests/aorai/not_prm.i

...ugins/aorai/tests/aorai/oracle_prove/monostate.res.oracle

...aorai/tests/aorai/oracle_prove/test_factorial2.res.oracle

src/plugins/aorai/tests/aorai/result_prove/.empty

src/plugins/aorai/tests/aorai/single_call.i

src/plugins/aorai/tests/aorai_ltl/call_tree.c

src/plugins/aorai/tests/aorai_ltl/call_tree.ltl

src/plugins/aorai/tests/aorai_ltl/goto.c

src/plugins/aorai/tests/aorai_ltl/goto.ltl

src/plugins/aorai/tests/aorai_ltl/oracle/goto.res.oracle

...ugins/aorai/tests/aorai_ltl/oracle/test_boucle.res.oracle

...gins/aorai/tests/aorai_ltl/oracle/test_boucle1.res.oracle

...gins/aorai/tests/aorai_ltl/oracle/test_boucle2.res.oracle

...gins/aorai/tests/aorai_ltl/oracle/test_boucle3.res.oracle

...ns/aorai/tests/aorai_ltl/oracle/test_factorial.res.oracle

...s/aorai/tests/aorai_ltl/oracle/test_recursion1.res.oracle

...aorai/tests/aorai_ltl/oracle/test_recursion2.0.res.oracle

...aorai/tests/aorai_ltl/oracle/test_recursion2.1.res.oracle