add explicit timeouts where they belong

Better to have it be an explicit event than to have to
deduce it from end-of-stream. Now all matches end with
either "<player> resigns." or "<player> times out."