Modifying uthread_exit() to deal with priority on exit and exits in the middle of the queue.