Working on design doc and making sure that thread_set_priority correctly updates donated priority information
Added comments, made sema_up work for thread_mlfqs.