Chunk server: reduce number of small allocations by using std allocator where possible. Replace unordered map used to track append space reservations, and map used to store device buffer manager entries with more efficient sorter linear hash.