Much has been made of the fact that Dallas police used a robot to kill the gunman who fatally shot five officers last week.