Updating google-code-prettify to fix IE rendering issues.