* added functionality to the server that allows it to (re)launch executors. For this to happen, the server needs to keep track of how many executors are launched but potentially waiting in the queue, and how many are registered and active. When executors kill themselves, they report back to the server so it can take them out of the pool of active executors.
Merge branch 'server_launching_executors' into develop