Return void from gdb_putc

I don't think it's very useful to return the character from gdb_putc,
so this patch changes it to return void.