Complete mutexes lecture

- Add a deadlock example
- Summarize the guidelines for the lecture