Use `stdpp_scope` for all notations.
A long time ago,
stdpp was part of my C formalization, and as such, I used
C_scope for all notations in the development. These days, the name of this scope totally makes no sense, and even confuses new users of the library, especially now that the project has a project name (coq-stdpp)
I thus propose to rename
stdpp_scope and the scope delimiter
%stdpp. It should be very trivial to fix this in all dependencies; we should just provide a