Add the properties that were benchmarked in [PW08]

[PW08] J. v.d. Pol and M. Weber. "A Multi-Core Solver for Parity Games". In: ENTCS 220 (2008) 19--34.
Merge branch 'master' of https://github.com/jkeiren/paritygame-generator
The CTL Limit closure example that is presented in [FL10] is not in CTL!

The subformula \psi_n that is defined in that paper generates
formulas of the form q_n & X \psi_{n-1}, which is not in CTL.
Instead, we now generate q_n & E X \psi_{n-1} in the CTL case.