Added retry-attempts to benchexec installation (moody command) #30

Job	Run time
build	20s
test-benchexec (bubaak)	32s
test-benchexec (cbmc)	15m 59s
test-benchexec (coveriteam-verifier-algo-selection)	53s
test-benchexec (coveriteam-verifier-parallel-portfolio)	14m 20s
test-benchexec (cpa-lockator)	2m 28s
test-benchexec (cpachecker)	15m 14s
test-benchexec (cseq)	36m 7s
test-benchexec (dartagnan)	7m 54s
test-benchexec (deagle)	3m 34s
test-benchexec (divine)	18m 18s
test-benchexec (ebf)	15m 32s
test-benchexec (esbmc-incr)	3m 47s
test-benchexec (esbmc-kind)	15m 6s
test-benchexec (goblint)	31s
test-benchexec (graves-par)	2m 8s
test-benchexec (graves)	14m 41s
test-benchexec (infer)	32m 15s
test-benchexec (lazycseq)	34s
test-benchexec (lf-checker)	2m 17s
test-benchexec (pesco)	14m 43s
test-benchexec (pichecker)	14m 55s
test-benchexec (symbiotic)	6m 41s
test-benchexec (theta)	2m 33s
test-benchexec (uautomizer)	9m 47s
test-benchexec (ugemcutter)	13m 5s
test-benchexec (utaipan)	11m 55s
collect-results	1m 33s
	4h 37m 42s

Provide feedback