Make build via `make` work again

[michael-schwarz]

Currently building via make (ocamlbuild) is broken, and only building via dune build works.

[michael-schwarz]

Now only the make test target is broken.

[vogler]

What's the issue/what broke it? Shouldn't have anything to do with the missing dependencies above.

[michael-schwarz]

What's the issue/what broke it? Shouldn't have anything to do with the missing dependencies above.

Apparently, when I renamed the findlib package to match the name of the opam package (goblint-cil vs. cil) I was not thorough enough and missed a couple of places. I now have tests via make test almost working again, one example is still broken.
For this example, I had to adapt the include path for it to work with dune runtest, and apparently broke it for make test while doing that.