Creating demonstrators for GobPie

[vesalvojdani]

A more urgent version of #21. There may be long-term value in creating a proper CVE benchmark suite, but the focus now should be on just having 4-5 nice examples of races being detected and removed in the IDE. We might be able to extract these demos from ldv-commit-races.

[sim642]

We might be able to extract these demos from ldv-commit-races.

I'd say ldv-commit-races are off the table: #3 (comment). At best one might be able to take those commit hashes and try to run Goblint on the before vs after code directly, instead of the ldv-benchmarks versions of the code.