C Games as mid-sized benchmark programs#67

DrMichaelPetter wants to merge 3 commits intomastergoblint/bench:masterfrom

gamesgoblint/bench:gamesCopy head branch name to clipboard