Add a priority queue class, which is a wrapper around std::priority_queue