Implements priority donation according to the Imperial Pintos Specification (based on thread niceness and recent cpu time), using Round Robin ordering of threads