Add application-label configuration for javascript-controlled view labels,
and provide a sample customization of it.

This does not yet address html-embedded labels. That will require CSS-based
substitutions, and probably is best left for when we incorporate a dynamic
stylesheet preprocessing language.