send kill signal to workers when PIPE.lock is deleted manually

[pbellec]

The workers currently terminate their operations when the lock file is removed. But that is only done when the works has finished his current tasks. When the user manually removes the PIPE.lock file, this typically means he/she wants to force workers to quit. This would be better implemented by sending kill signals to all workers.