Update the mutex lecture and add lecture notes.