Please provide an option to prune dead workers from grin-server

[the-babaji]

I would love a button to kick out all instances of dead workers, who connected and disconnect. With all my rigs, and fiddling around the list becomes very long, very quickly. It would be nice to be able to clean it up without having to shut it down and restart it.

My other wish, would be to be able to reset the stats (accepted, rejected. stale, found etc...) for one or more workers. Perhaps hitting 'R' follwed by a number (worker ID) or "R" followed by "A" to reset em all.

Just my 2 cents, i am sure you have bigger fish to fry right now.

Thanks for all the good work.