ppsimpl.0.1+dev compatible with coq_extlib

Patched ppsimpl to compile with coq_extlib.

Not really sure it is the way to go: I have created a dev package linked to the git repo...