merge of #2583 zombie server processes

Found that not all rethinkdb server processes were being shut down because we were relying on __exit__ being called when it goes out of scope. But those handlers are not generally called when the process exits.