San Francisco approves killer robots.