Removed google-code-prettify. Fixes #366.