Add google-code-prettify for gh-page