Syntax highlighting with lstlistings is semi-broken as highlighting
keywords does not work correctly.
This patch introduces minted instead, which uses the python script
pygmentize.
It breaks the oldolddebian image, but commenting out some quality-of-live options (autogobble, shorthands such as \cinline, etc.) should suffice to make it work there.