FELIX-1958 use the brand name (BrandingPlugin.getBrandName()) as the page title (together with the plugin title) and allow for its configuraiton through the properties file (webconsole.brand.name) in the DefaultBrandingPlugin