Change signature of gdbtk_readline to match change in gdb.