reimplement source colorization :
  - use --color if you want your traceback to be colorized
  - ipython is used (as in debugger.py) rather than pygments directly
  - only python source lines are passed to the colorizer (not all the
    formatted traeceback)
  - the filenames are also colorized

This patch also provides a new feature: when --verbose is used,
local variables are displayed.