20170202 city.bengaluru: Budget proposal: Will HAL Airport terminal become a mall?