Introduce swh-worker-ping-restart script to automatically restart dead workers
Part of the implementation of T2335.