To add finding division by zero bug detection example

[Graur]

We need to add bash script and new workflow to build full pipeline:

1. example of .c code with division by zero bug
2. transpile this example from C to EO
3. run Polystat analysis
4. check that bug was found