lib: add set_map_fst_filter_zip to Lib #1026

Job	Run time
Freeze MCS Code	0s
Freeze Code	19s
Trigger platform branch rebase	3s
MCS Proof	0s
Deploy MCS manifest	0s
Proof (AARCH64)	11m 9s
Proof (AARCH64, zynqmp)	2h 27m 0s
Proof (AARCH64, 1)	2h 24m 53s
Proof (AARCH64, bcm2711)	2h 26m 36s
Proof (ARM)	3h 32m 39s
Proof (ARM, 1)	3h 17m 24s
Proof (ARM_HYP)	1h 11m 8s
Proof (ARM_HYP, 1)	2h 39m 36s
Proof (ARM_HYP, exynos5)	2h 45m 19s
Proof (RISCV64)	13m 4s
Proof (RISCV64, 1)	2h 45m 27s
Proof (X64)	12m 14s
Proof (X64, 1)	2h 40m 48s
Deploy manifest	1m 14s
	1d 2h 48m 53s

Provide feedback