go back to Redcarpet and use highlight.js