Highlighting shell commands

Shell commands like below get highlighted in a useful manner

[[[language=shellcommands
$ echo hello $USER
hello damien
]]]

Requires Pillar-Model-DamienPollet.65 for the HTML output to include the
correct class name in <pre> elements.