Make Z3alpha runner itself a binary

[JohnLyu2]

[JohnLyu2]

@JHCuc3m You can first look at what https://gitlab.com/sosy-lab/software/btor2-select/-/blob/main/bin/btor2-select?ref_type=heads is doing.