enable google_prettify.

fix the problem that google prettify doesn't load after moving google_prettify into a subdirectory by @caspervonb.