Enable google_prettify.

Fix the problem that google_prettify can't be loaded after moving google_prettify into a subdirectory by @caspervonb.