[Ptests] fixes the default CMD to be used

ptests/Makefile

ptests/ptests.ml

ptests/tests/.gitignore

ptests/tests/ptests_config

ptests/tests/test_config

ptests/tests/without-test_config/README

ptests/tests/without-test_config/config.i

ptests/tests/without-test_config/empty.i

ptests/tests/without-test_config/oracle/config.0.res.oracle

ptests/tests/without-test_config/oracle/config.1.res.oracle

ptests/tests/without-test_config/oracle/config.2.res.oracle

ptests/tests/without-test_config/oracle/config.3.res.oracle

ptests/tests/without-test_config/oracle/config.4.res.oracle

ptests/tests/without-test_config/oracle/empty.res.oracle