OK, superceding the previous submission, this patch includes
suggested mods from Eli and Tom Tromey.  Fixed comment formatting,
tweaked documentation, added NEWS and gdbint.texinfo.

I also removed the "restart-auto-finish" feature, which is perhaps
not ready for prime time.  Can always add it back later.