Enable the making of Zero Knowledge Proofs of French taxes by compiling Mlang to Sierra

[louisguthmannStarkWare]

Some researchers made this amazing tool enabling to compute taxes using a verified language.
Paper: https://arxiv.org/abs/2011.07966
Code: https://github.com/MLanguage/mlang

This language would enable one to compute taxes verifiably. Compiling M-Lang to Sierra would enable the generation of ZKPs of one's taxes.

It would also be a very cool toy usecase to show the power of Cairo in non blockchain applications.