Update to latest version of google-code-prettify
Use google-code-prettify as AMD module

The latest versions are now AMD compatible, as long as the module name
`google-code-prettify` is used. Updated Highlight.js to use the
exported object.