server/gdb_server: Add support for default thread, use by IDA debugger