Reuse names of empty .yaml files generated by pginfo in case of a restart
Add the formulas for CTL/CTL* as used by Friedmann and Lange.
Merge branch 'master' of https://github.com/jkeiren/paritygame-generator