sched_rr_get_interval(2) on Linux

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

get the SCHED_RR interval for the named process

sched_rr_get_interval(2) on Linux now