Upgraded google-code-prettify.  No longer need to bundle it.