Added sched_setscheduler()/sched_getscheduler()

Please review this patch. I hope you will take in sched_setscheduler(), it will ease my maintenance.