Remove prettify JS

Leave CSS, since the Java prettify port uses the same class names,
but does not redistribute the CSS.

Change-Id: I98c6b987298509b6b35d584ca9d7b1202fb0da14
25 files changed