sched_clock: Add local_clock() API and improve documentation