The main changes are:

• the installation procedures adapts to the shape of rocq repositories
• the library used to parse large integers is now zarith (this is only relevant for the ml code)