Added prettify.

Deleted redundant copy of JQuery and added prettify.js.