* 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.