* Makefile.in: depend on remote.texi rather than gdbinv-s.texi
* remote.texi: (Server) New node on gdbserver. (Remote Serial,
ST2000 Remote, MIPS Remote): mention `host:port' syntax for TCP.
* remote.texi: new name for former gdbinv-s.texi
* gdb.texinfo: use remote.texi rather than gdbinv-s.texi