RFC: fix std::unique_ptr pretty-printer

[Jonathan Wakely]

On 14 August 2012 15:44, Tom Tromey wrote:
>>>>>> "Jonathan" == Jonathan Wakely <jwakely.gcc@gmail.com> writes:
>
> Jonathan> I prefer it as unique_ptr<datum> but I'm probably not your typical
> Jonathan> user of the pretty printers, so if anyone else has an opinion please
> Jonathan> share it.
>
> I prefer it too.  Here's the updated patch.  Let me know what you think.

I like it, please go ahead and check that in it you're happy with it.