named executors

It is difficult to identify which threads are created by the driver. This PR adds names to the executors, so we can trace where threads are created.