[Tests] adds wp tests (init)

Makefile

ptests/ptests.ml

src/plugins/wp/.gitignore

src/plugins/wp/tests/ptests_config

src/plugins/wp/tests/test_config

src/plugins/wp/tests/test_config_qualif

src/plugins/wp/tests/wp/oracle/bug_rte.res.oracle

src/plugins/wp/tests/wp/oracle/cfg_loop.res.oracle

src/plugins/wp/tests/wp/oracle/sharing.res.oracle

src/plugins/wp/tests/wp/oracle/stmtcompiler_test.res.oracle

...gins/wp/tests/wp/oracle/stmtcompiler_test_rela.res.oracle

src/plugins/wp/tests/wp/oracle/wp_behav.res.oracle

src/plugins/wp/tests/wp/oracle/wp_behavior.0.res.oracle

src/plugins/wp/tests/wp/oracle/wp_behavior.1.res.oracle

src/plugins/wp/tests/wp/oracle/wp_call_pre.0.res.oracle

src/plugins/wp/tests/wp/oracle/wp_call_pre.1.res.oracle

src/plugins/wp/tests/wp/oracle/wp_call_pre.2.res.oracle

src/plugins/wp/tests/wp/oracle/wp_call_pre.3.res.oracle

src/plugins/wp/tests/wp/oracle/wp_call_pre.4.res.oracle

src/plugins/wp/tests/wp/oracle/wp_eqb.res.oracle