Merging from branches/borui to branches/yummin
Cleanup code
Update repository
Merge branch 'yummin' into master
Merge branch 'yummin'
Add lock to exec
Merge remote-tracking branch 'origin/master' into borui

Conflicts:
	src/threads/thread.c
	src/threads/thread.h
	src/userprog/syscall.c