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```.