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.