[aorai] move tests libraries at toplevel test directory

src/plugins/aorai/Makefile.in

src/plugins/aorai/tests/Aorai_test.ml

src/plugins/aorai/tests/aorai/assigns.c

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

src/plugins/aorai/tests/aorai/declared_function.i

src/plugins/aorai/tests/aorai/deterministic.i

src/plugins/aorai/tests/aorai/formals.i

src/plugins/aorai/tests/aorai/generate_assigns_bts1290.i

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

src/plugins/aorai/tests/aorai/hoare_seq.i

src/plugins/aorai/tests/aorai/incorrect.i

src/plugins/aorai/tests/aorai/loop_bts1050.i

src/plugins/aorai/tests/aorai/monostate.i

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

src/plugins/aorai/tests/aorai/other.c

src/plugins/aorai/tests/aorai/seq.i

src/plugins/aorai/tests/aorai/seq_loop.i

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

src/plugins/aorai/tests/aorai/test_acces_params.c

src/plugins/aorai/tests/aorai/test_acces_params2.c