update prettify.js ver to the lastest stable version