Updated our copy of Google Code Prettify.