Replace pp with prio_pt in Python code, to match C++ code
Fix bug in locking overhead code that used task set in place of its cardinality
Add support for arbitrary GEL locking priorities