Introduce option to dump the temporary automaton that gets used for counterexample checks
with CPAchecker into a file that is not immediately deleted
(similar to cbmc.dumpCBMCfile for counterexample checks with CBMC).


git-svn-id: https://svn.sosy-lab.org/software/cpachecker/trunk@13595 4712c6d2-40bb-43ae-aa4b-fec3f1bdfe4c