A new software tool could help social-media companies shut down the distribution of violent ISIS recruiting videos.