Document licensing for prettify.js