Add auto-loader of prettify

https://code.google.com/p/google-code-prettify/wiki/GettingStarted
Use jQuery 1.10.2