Millisecond-level tick generation granularity

Issue #544.

Introduces a new timer scheduler for tick generation.

The nimbus and supervisor scheduled events are unaffected.