This eight-legged probe would scour Mars’s underground lava tubes for places where explorers might camp—or for signs of past life