Prebuild: v2.0-TACAS26

Static binary version of Issy for the code from release v2.0-TACAS26.

Prebuild: v1.0-CAV25-AE

Static binary version of Issy for the code from release v1.0-CAV25-AE .