Compiled Sail ISA snapshots for the Isla symbolic execution tool

Licensing

All the models are Licensed as per their associated repositories:

• aarch64.ir from arm-v8.5-a in sail-arm
• armv9p3.ir.gz from arm-v9.3-a in sail-arm
• armv9p4.ir.gz from arm-v9.4-a in sail-arm
• rv32d.ir and rv64.ir from a small sail-riscv branch; for now we've kept an older riscv64.ir from sail-riscv around, too
• morello.ir from sail-morello