nachos configured to use lotteryscheduler (it passes autograder)