[PATCH] rename "set debugvarobj" to "set debug varobj"

[Eli Zaretskii]

> From: Tom Tromey <tromey@redhat.com>
> Cc: Tom Tromey <tromey@redhat.com>
> Date: Tue, 29 Apr 2014 09:36:30 -0600
> 
> I think "set debugvarobj" has the wrong name.
> It ought to be "set debug varobj", like gdb's other debug settings.
> 
> This patch makes the change.

The documentation part is fine with me, thanks.