Change ptests dune alias to runtest

[jesper-amilon]

Propose to change the dune alias from @Ptests to @runtest.
This would help setting up opam and CI with github actions.

Changing is done by running frama-c-ptests -dune-alias runtest