The decision by U.S. police to deploy a remote-controlled machine to kill the Dallas sniper last week appears to be unprecedented.