Define (and implement) scheduler performance metrics

To be able to compare the relative performance of different scheduler implementations and policies, among one another as well as over time, we need to actually define, and implement, a set of performance metrics for the scheduler(s).

---

Migrated from T2974 (view on Phabricator)