20150828 city.goa: It's official; Panaji to be smart city