Add options to store and rerun execution states during run #1417

Job	Run time
clang-format	15s
Coverage (STP)	27m 23s
Coverage (Z3)	27m 22s
Docker	8m 52s
Coverage (Bitwuzla)	27m 5s
Linux (LLVM 14)	6m 54s
macOS	2m 51s
Linux (LLVM 13)	6m 57s
Linux (LLVM 12)	6m 56s
Linux (LLVM 11, Doxygen)	6m 55s
Linux (LLVM 10)	6m 55s
Linux (LLVM 9)	6m 54s
Linux (ASan)	6m 58s
Linux (UBSan)	1s
Linux (MSan)	6m 38s
Linux (Z3 only)	43s
Linux (metaSMT)	6m 39s
Linux (STP master)	48s
Linux (Bitwuzla only)	6m 57s
Linux (Latest klee-uclibc)	6m 54s
Linux (Asserts disabled)	6m 54s
Linux (No TCMalloc, optimised runtime)	6m 32s
	3h 4m 23s

Provide feedback