Add support for source code coloring with pygments

Themes/source are available with a switch.