scheduler_msgs: better Request message priority labels (#60)