Support job cancellation in multi-pool scheduler.
Rename kill -> cancel in user facing API / documentation.