[python] Pretty-printers and addressprint

[Tom Tromey]

>>>>> "Paul" == Paul Pluzhnikov <ppluzhnikov@google.com> writes:

>> What you want instead is repr(value.string()), at least if you want to
>> try this route.

Paul> That of course can't work, since it's the value.string() which
Paul> raises exception.

Yeah, oops on me.

I think your patch was fine.  Or, if people don't like that, we can
always have an "addressprint for pretty-printing" option.

Tom