remove prettify.js and all it uses. it did not work anyway
merged master
Merge pull request #139 from mozilla/rm-prettyprint

Removing prettify.js artifacts