[PATCH] Make StdVectorPrinter in printers.py compatible with ddd

[Paolo Carlini]

Hi,

>> If noone else objects I'll commit it to trunk in a day or two.
> 
> If you allow this, where does it stop?  Any badly written gdb frontend
> will complain about something.

I understand Uli's point, but I have to add that, as far as I know, there aren't that many other lightweight options on Linux, besides DDD, thus, if knowledgeable people tell me the change really helps DDD, I'm in favor of the change. Well, it would help if somebody could explain which specific pattern of DDD usage is improved, lately I have been using DDD quite a bit for normal debugging of C++ without major problems.

Thanks,
Paolo