allow aborting workers

Fixes #130 .