Create pretty.min.js

minified version of pretty.js