Update contributors #47

Job	Run time
build	15s
test-benchexec (bubaak)	29s
test-benchexec (cbmc)	14m 44s
test-benchexec (coveriteam-verifier-algo-selection)	49s
test-benchexec (coveriteam-verifier-parallel-portfolio)	13m 31s
test-benchexec (cpa-lockator)	2m 7s
test-benchexec (cpachecker)	14m 19s
test-benchexec (cseq)	35m 39s
test-benchexec (dartagnan)	5m 56s
test-benchexec (deagle)	3m 15s
test-benchexec (divine)	17m 8s
test-benchexec (ebf)	15m 12s
test-benchexec (esbmc-incr)	3m 9s
test-benchexec (esbmc-kind)	14m 15s
test-benchexec (goblint)	30s
test-benchexec (graves-par)	2m 8s
test-benchexec (graves)	14m 15s
test-benchexec (infer)	31m 5s
test-benchexec (lazycseq)	33s
test-benchexec (lf-checker)	2m 12s
test-benchexec (pesco)	14m 21s
test-benchexec (pichecker)	14m 31s
test-benchexec (symbiotic)	5m 51s
test-benchexec (theta)	2m 21s
test-benchexec (uautomizer)	6m 8s
test-benchexec (ugemcutter)	9m 0s
test-benchexec (utaipan)	9m 10s
collect-results	1m 1s
	4h 13m 54s

Provide feedback