Use CDN for google-code-prettify