Handle the update of sleeping tasks in a more efficient way

[dgobalak]

We want to minimize how long the SysTick_Handler runs. To do so, we should avoid iterating through all our tasks to update the sleep timers. Instead, let's store the task ID of each sleeping task in an array. Then, we can just iterate through the sleeping tasks (and not all the tasks).