py: better error checking in repo-py.c:set_int().
priorities: change the meaning of the setting---lower number=better prio.