Move prettify to its own folder to avoid confusion over JS files.