Support simple shell highlighting #1494
Description
It's very common that documents contain code block with shell commands in it. And we can probably highlight them in the frontend through a simple highlighter if the code block is marked as shell, sh, or bash.