Ported v3.1 Text highlighting plugin to v4.0
Merge pull request #3141 from pjackson28/texthighlighting

Ported v3.1 Text highlighting plugin to v4.0
Prettify:  initial port of v3.x plugin

* Only initializes and runs plugin once, regardless of number of
  `<pre class="prettyprint">` elements on page.
* Exposes `window.prettyPrint()` method to other plugins via
  `prettyprint.wb-prettify` event.