Compatibility Coq 8.17

[clarus]

Hello,

Thanks for making this project! We are currently starting to use it to make various formalizations of the EVM, including a translation from Yul to Coq.

Are you continuing to maintain the project, and are you open to pull requests? We are making a branch formal-land#1 to add compatibility with Coq 8.17 and a CI system (currently not working yet to run the Go tests in the CI, but it works on my machine).