Listings: use minted/pygments

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.