all: remove dependency on “Core”

This creates a new module `Pbs_internal_pervasives` which imports
modules from `nonstd`, `pvem`, and `sosa` which have much more
manageable sizes.