Incorporate google-code-prettify