minor mod.
Merge branch 'project4' of https://github.com/jiazhihao/pintos into project4
wc 80 for cache.ch
Merge branch 'project4' of https://github.com/jiazhihao/pintos into project4