sched_getscheduler(2) on Linux

The text cfbe5b4c60a9, as Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.

set and get scheduling algorithm/parameters

sched_getscheduler(2) on Linux now