Use highlight.js, allow choosing language.