Terminate server requests when software update succeeds

Specifically, this takes care of the case where a student runs `ok --submit` and ok requires a software update.
fsync writes it to disk whereas write only writes it to the local thread cache, which may or may not be the same. I don't think it matters all that much in this case, but it's much easier to reason about the code in the long run.