Chunk server: replace unordered map in lease clear implementation with linear sorted hash table. User std pool allocator to reduce number of small allocations.