Adding allocation counters to block_manager, which count the total, current and maximum allocation of external memory blocks.