Desmond

added tickets and max_tickets to the process table
added a function to count the number of tickets currently distributed
added the lottery function
added in code to the scheduling functions so that the tickets would be maintained