Add prio_tree
Add a benchmark script for priority queues