Make PageCache::add_page() use an ID allocator.