Refer to a specific tag for the ibex-cosim version of Spike
Refer to a specific tag for the ibex-cosim version of Spike

We're going to want to make a couple more releases of Spike, cleaving
a bit closer to the upstream repository. Let's be explicit about which
version people should get.

lowRISC/ibex,AmbiML/ibex,AmbiML/ibex,lowRISC/ibex,lowRISC/ibex,AmbiML/ibex,AmbiML/ibex,lowRISC/ibex