1st solution to timer & producer-consumer problems
Merge branch 'task1_3' of github.com:pintos2013/pintos into task1_3