A handful of proponents say caves created long ago by cooling lava would be the cheapest, largest and most protective places to expand human outposts on Mars.