Update link to Google Prettify