20181109 city.patna: Soon; traffic signals in Patna to have timers