Download lean spec test vectors in CI

[MegaRedHand]

We currently generate spec-test vectors in the CI. Now releases are published with the latest vectors: https://github.com/leanEthereum/leanSpec/releases
We should migrate to downloading those instead of generating them.

[dicethedev]

Can you assign me this?