External checkers

Stream: Equational

[Shreyas Srinivas]

There are currently CI checks in place for both lean4lean and lean4checker. So far I haven't noticed a huge increase in CI time. Suggestions and improvements are welcome. Also do ping us here if the checks fail at any point.