Updated main script and summarized other documents

* Small fix for the main script
* Merged spiele.tex and laplace-wuerfel.tex into formelsammlung.tex
* Added definitions to formelsammlung.tex