20151002 city.jaipur: Metro timings & frequency to increase in festive season; mulls JMRC