Replace scheduler with time

Replaced the old scheduler extension with the new time extension.  Still
using ticks rather than a LogoTime.