fix(ci): use READ_ONLY_GITHUB_TOKEN for z3-sys source download #8

Job	Run time
Compute Versions	1d 0h 0m 1s
build-cluster	0s
build-supervisor	0s
Build Supervisor Binary (Linux ${{ matrix.arch }})	0s
Build Gateway Binary (Linux ${{ matrix.arch }})	0s
Build Python Wheel (macOS)	0s
Build Python Wheels (Linux ${{ matrix.arch }})	0s
e2e	0s
Build CLI (Linux ${{ matrix.arch }})	0s
Build CLI (macOS)	0s
build-gateway	0s
Build Gateway Binary (macOS)	0s
Tag GHCR Images for Release	0s
Release	-1s
Publish Fern Docs	-1s
Trigger Wheel Publish	-1s
	23h 59m 58s

Provide feedback