[fix] wrong lean-toolchain version

[josojo]

Usually, the tags are named with a prefixed v. The same is true for the current releases