ppsimpl.0.1+dev compatible with coq_extlib
Merge pull request #5 from fajb/master

ppsimpl.0.1+dev compatible with coq_extlib