Bump Straume version

[javra]

Could you bump the Straume dependency so that this compiles with the newest Lean version?

[cognivore]

Hi, @javra, currently Lean libraries of Lurk-Lab aren't maintained as far as I know, and I don't have the time for maintaining them myself, since I'm actively searching for a contract right now :(

Some day I'll get back to maintenance, I promise, but it's unlikely to happen this year! 🙏

[javra]

Do you accept PRs for small maintenance things?

[huitseeker]

@javra quite likely !