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.
You probably want to use os.fync here to commit everything to the filesystem.