devel/prjpeppercorn112: Remove obsolete custom distfile mirror

Previously, some distfiles were mirrored on a 3rd-party host as upstream did not
provide versioned distfiles.
This is no longer necessary as upstream now ships the necessary files as part
of the git repository.