feature: add Cairo code verification

[omarespejel]

• Add the cairo-verify crate to starknet-cairo-101 so that the Cairo code is formatted and and compilable.
• Add cairo-verify as a github workflow (Cairo Book example here).

Shout out to the amazing Cairo Book maintainers (@enitrat @fricoben) and their community for this amazing crate.

[enitrat]

props to @julio4 and @glihm

[enitrat]

perhaps we can make it a standalone repository in https://github.com/cairo-book so that it can be installed from git and configured properly for the repository it's being run in?

[julio4]

perhaps we can make it a standalone repository in https://github.com/cairo-book so that it can be installed from git and configured properly for the repository it's being run in?

This is a good idea! I would be glad to contribute in some ways, but this is out of scope of this issue.