[console] implement a 'synchronous' write_s that flushes the buffer

write appears to block currently (with mirage-unix, mirage-net-socket anyway)