Also guard the set_priority method in TodoList a bit more, to
prevent the dirty bit to be set when an equal priority is passed
on.