[Skunkworks] CloudCourse: a course scheduling system