Make some changes based on slides

1. Re-implement timer_sleep() in devices/timer.c to remove busy-waiting;
2. Modify README