Add gzip to prerelease benchmark list #331

Job	Run time
Pre Release (19, 22.04)	11m 0s
Run SV-Comp test suite (19, 22.04, hl, true)	2m 58s
Run SV-Comp test suite (19, 22.04, hl, false)	2m 57s
Run Linux kernel test suite (19, 22.04, hl, true)	2m 57s
Run gzip translation (19, 22.04, 1.10, hl, ON)	54s
Run Linux kernel test suite (19, 22.04, hl, false)	2m 58s
Run LLVM test suite (19, 22.04, hl, ON)	2m 56s
Run gzip translation (19, 22.04, 1.10, hl, OFF)	55s
Run LLVM test suite (19, 22.04, hl, OFF)	2m 58s
Run gzip translation (19, 22.04, 1.10, llvm, OFF)	54s
Run LLVM test suite (19, 22.04, llvm, OFF)	2m 58s
Run gzip translation (19, 22.04, 1.13, hl, ON)	57s
Run LLVM test suite (19, 22.04, bin, OFF)	2m 58s
Run gzip translation (19, 22.04, 1.13, hl, OFF)	55s
Run gzip translation (19, 22.04, 1.13, llvm, OFF)	56s
Convert results to Markdown	0s
Eval SV-Comp test results	1s
Eval LLVM Singlesource results	1s
Convert Linux Kernel benchmark results to Markdown	1s
Build VAST doc	1s
	40m 15s

Provide feedback