Run overview-run/server in a Play development env.

This meant supporting Ctrl+D, because Play outputs that you're allowed
to press Ctrl+D to kill servers. Ctrl+D does a "soft shutdown", one
process at a time.

And supporting Ctrl+D meant a bit of refactoring, to keep code sane.

[resolves #63715164]