Added static deadlock detection.
Merge branch 'supermaster' of https://github.com/bruteforce-kth/skynet into supermaster
Enabled dynamic deadlocks.