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