added hawk_rtx_flushallios(). revised hawk_rtx_loop() and hawk_rtx_callfun() to call hawk_rtx_flushallios() instead of hawk_rtx_clearallios(). changed the io handler to discard unflushed data if flushing fails in std.c