allow custom definition of interrupt signal

This replaces PR #78 with an alternate solution: enable customization of the signal that kills workers
updated