PortalKit: add new buildlist provider to provide the whole structure of the portal-team's workspace
PortalKit: rename the old build list provider