new API lanes.set_thread_priority() (bumped version to 3.7.4)