Added initial version of Lean Modeling example for Eclipse Magazin