Here is another simple patch that takes advantage of the change in
comint to actually colorize python output. This should be applied
after the previous one, of course.