Update our copy of Google Code Prettify.