added cpu_time_budget field to Thread_Control and removed the global variable _Thread_Ticks_remaining_in_timeslice.