PortalKit: rename portalKit to DevelopmentToolkit