This repo is no longer used -- see github.com/fmfi-svt-deadlock for Project Deadlock (formerly Project Gate).