Curiosity—and Its Software—on Tour of Mars