Add google-code-prettify