Merge branch 'feature/patrick/ptests-libs-directive' into 'master'

doc/developer/advance.tex

doc/developer/changes.tex

doc/developer/refman.tex

ptests/ptests.ml

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

src/plugins/aorai/tests/ltl/test_boucle.c

src/plugins/aorai/tests/ltl/test_boucle1.c

src/plugins/aorai/tests/ltl/test_boucle2.c

src/plugins/aorai/tests/ltl/test_boucle3.c

src/plugins/aorai/tests/ltl/test_factorial.c

src/plugins/aorai/tests/ltl/test_recursion1.c

src/plugins/aorai/tests/ltl/test_recursion2.c

src/plugins/aorai/tests/ltl/test_switch2.c

src/plugins/aorai/tests/ltl/test_switch3.c

src/plugins/aorai/tests/ltl/test_switch3_et_recursion.c

src/plugins/aorai/tests/ltl/test_switch3_if.c

src/plugins/aorai/tests/ltl/test_switch3_return.c

src/plugins/aorai/tests/test_config

src/plugins/aorai/tests/test_config_prove.in

src/plugins/aorai/tests/ya/aorai_ptr_field.i