Put Pygments version information in the env.systeminfo
Authored by: cboos 2006-12-07
Parent: [r4415]
Child: [r4417]