Custom whitelabel plugins

The script now removes the prior brand's custom plugins (as specified by its project_config.js customPlugins setting), if any, and adds the new brand's custom plugins, if any.

I will document this in the whitelabel wiki page.