* gdb.texinfo (Invoking GDB): Document --args.