Prettify: converted to using single init element

1. Plugin now uses a `.wb-prettify` element as initialization point.  All settings are configured from CSS classes and/or data attributes on this element.
2. Updated to 4.0 plugin template.
3. Updated English demo.
4. Added French demo.

Fixes #3170.