Replace Prism.js by Highlight.js