rand() in scheduler_enqueue

I don't know how likely this is to have a major effect, but after discussion in quicksched (and that scheduler_gettask uses it) I think scheduler_enqueue should probably use rand_r rather than rand()