20160709 world.us: 'Bomb Robot' kills Dallas gunman; but raises enforcement questions