update to new version of prettify on cdnjs