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.