Crashing leaves goblint_temp_* directories around

[sim642]

I just started running Goblint on a bunch of benchmarks using the goblint/bench script and whenever Goblint crashes (due to some exception), the goblint_temp_* directory stays around in the middle of the benchmarks. It's quite inconvenient because if the benchmarks are version controlled, it looks like there's new (temporary) files to commit.

They should either be cleaned up, not to pollute paths that are being analyzed. Alternatively, those temporary directories shouldn't be created next to the input file, but into the system's temporary directory using corresponding APIs.

[sim642]

Small correction: the goblint_temp_* directories are actually created in the current working directory. It's the bench repo script which just cds to each benchmark's directory before running Goblint.