Upgrade: z3 version to 4.13.3 (#12546) #8

Job	Run time
Simple package build succeeds	3m 50s
Toolchain package rebuild fails	4m 5s
Fatal license check fails	4m 11s
Toolchain package rebuild succeeds	4m 23s
None license check does not break the build	3m 51s
Fatal license check succeeds on duplicated license as documentation	3m 59s
Warning-only license check does not break the build	4m 22s
Simple package build fails	4m 15s
Pedantic license check fails	4m 11s
	37m 7s

Provide feedback