[PATCH] Add "set print finish"

[Tom Tromey]

>>>>> "Tom" == Tom Tromey <tromey@adacore.com> writes:

Tom> A user wanted to be able to disable the display of the value when
Tom> using "finish" -- but still have the value entered into the value
Tom> history in case it was useful later on.  Part of the rationale here is
Tom> that sometimes the value might be quite large, or expensive to display
Tom> (in their case this was compounded by a rogue pretty-printer).

Tom> This patch implements this idea.

I'm checking this in now.

Tom