Boston is racing to decarbonize its public housing by 2030. The latest tool it's deploying to reach that goal?