* Update google-code-prettify into latest version.