in update_eff_prio, add list_empty check
Merge branch 'master' of https://github.com/jiazhihao/pintos
fix update_eff_prio list_empty