Support simple shell highlighting

[st0012]

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.

[tompng]

This is implemented in #1544