[RFC - Python Scripting] New method Value.referenced_value to dereference pointer as well as reference values (with docs)

[Tom Tromey]

>>>>> "Siva" == Siva Chandra <sivachandra@google.com> writes:

Siva> OK?

Yes, thanks.

Contact me off-list and I can hook you up with write-after-approval
access.

Tom