update prettify js library