gdb/doc: remove stray comma from gdb.flush description

Remove comma from: gdb.flush([, stream]) .  I suspect this was a copy
and paste from gdb.write(string [, stream]) where the comma is
correct.