[PD-dev] deken: major revamp of the packaging format for externals