Put color in traceback when pygments is available.

As I like to have nice colored and readable tracebacks, I’ve added a conditional import for pygments.
I'm curious of any advice about the rendering, but I deliberately used the simplest pygments configuration, to allow a maximal compatibility.