Actually break off the trace loop when EOF reached.

If readline returns '', we've reached the end of the file.