Natural gas is leaking from city pipes, but spotting leaks is getting easier.