So would this be a way to terraform Mars? It would take a few million or billion years, but it would be cheap. There might be ways to speed up the process, for example by introducing multiple bacteria so you don't have to wait for them to evolve into the necessary forms. Start the process near the poles where there is some water. Would require the ability to dig deep holes on Mars. Analyzing samples from the holes might help target the best locations. A side benefit is that this might be a way to discover existing bacterial life on Mars. If life once did exist on Mars, underground seems a likely place for it to have retreated to.