* src/.gdbinit (xxwidget): Add convenient command to print some
information about an xwidget from GDB (similar to xbuffer, xwindow, ...).
(xpr): Use `xxwidget' on PVEC_XWIDGET.
Merge pull request #5 from daimrod/gdbinit-xwidget

* src/.gdbinit (xxwidget): Add convenient command to print some