Deadlock detection
Included in this release:
- fixed a bug when updating twice the same row in a transaction
- handle intermediate read correctly
- deadlock detection: deadlocks stopped the model, now
entremets
displays the cycle of locks that introduced the deadlock