Nijn

Fixes compatibility warnings for deprecated imports. The import lines are now compatible with Rocq version 9.1.0.

Update README.md

Registers the changes for Code folder.

Renames 'Code' folder to 'src' to maintein compatibility over other tools.

Fix comment