20180430 city.goa: Facelift for traffic signals at Navelim