I've always thought Venus was a better candidate for terraforming because of the thick atmosphere. If we could engineer some microbes and plants to start trapping toxic substances in the atmosphere, we could start making changes that could eventually result in the planet being habitable.
Let's call Dr. Gregory Benford and see if he can get this going...