Added (untested) kill functionality to task_server.Scheduler.