build cancellation

[ArsenArsen]

it should be possible to cancel a running build (not an execution - an entire build) to free up the coordinator early

[ArsenArsen]

this issue should also cover the interface for doing this, as well as a few related coordinator changes. the commit above only implements support in the worker.