Add rocq-lean-import to the platform

[JasonGross]

Could https://github.com/rocq-community/rocq-lean-import be added to the Platform?

[JasonGross]

(Unless @SkySkimmer objects)

[SkySkimmer]

https://github.com/rocq-prover/platform/blob/main/charter.md#package-inclusion-process

Requests should contain a justification. Good justifications are usage of the package in a regular course or a course with more than 25 attendees or usage of the package as prerequisite in at least three other packages or research developments by authors other than the author of the original package.