free frame in pagedir_destroy
Merge branch 'project3' of https://github.com/jiazhihao/pintos into project3
add pte null check
Merge branch 'project3' of https://github.com/jiazhihao/pintos into project3