isl_scheduler.c: non_neg_lexmin: improve documentation