This should not be done with TodoList.delete(), since it may
remove dependency information.

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.

Otherwise we get useless trailing newlines in our output.