Remove google-code-prettify