Initialise project with the code used for [CKW12]

[CKW12] S. Cranen, J.J.A. Keiren and T.A.C. Willemse, A Cure for Stuttering Parity Games. In A. Roychoudhury, M. D'Souza (eds.), Theoretical Aspects of Computing - 9th International Colloqium, ICTAC 2012, Lecture Notes in Computer Science 7521, Springer-Verlag, pp.198-212, 2012. The full version containing detailed proofs is available as a technical report. 2012