add python utility for parsing timer info from mapmaker output