remote redundant code, revise code style
start working on B6
Merge branch 'project3' of https://github.com/jiazhihao/pintos into project3