Bug fix for `add_svcomp_benchmark()` macro.
Bug fix for `add_svcomp_benchmark()` macro.

If invoking `svcb-emit-cmake-decls.py` fails an output file might
still be left behind which means when configuration is run again
it might succeed. Instead delete the output file.

delcypher/svcomp-build-mockup,delcypher/svcomp-build-mockup,delcypher/svcomp-build-mockup,delcypher/svcomp-build-mockup