Worker: cleaner shutdown on Ctrl+C

The worker now first aborts any task-fetching task, then queues up any
remaining task updates, then flushes that queue to the Manager, before
finally shutting down.