Introduce a sorted set for workcell tasks#124

luca-della-vedova wants to merge 2 commits intomainosrf/nexus:mainfrom

luca/tasks_priority_setosrf/nexus:luca/tasks_priority_setCopy head branch name to clipboard