“AdaSky has also developed its own computer vision to interpret the infrared video, which can identify pedestrians, cyclists, and animals a long way beyond the range of a car’s headlights.”