Fix setting priority for batch processes

The priority of SCHED_BATCH processes should be governed by niceness, not by static priority (per sched(7)).

This change adds the renicing step, where before, the sched_setscheduler would not do it, making changing priority impossible.