Add mutex analysis dependency to deadlock analysis
Add mutex analysis dependency to deadlock analysis

Otherwise no Lock/Unlock events get emitted.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer