Add tests for lustre benchmarks in python.

...benchmarks/M_DockingApproachExample_Ext_execAddition.stpy

.../codegenerator/lustre_benchmarks/M_Lift_execAddition.stpy

...tor/lustre_benchmarks/M_MovingItem_main_execAddition.stpy

...enerator/lustre_benchmarks/M_Press_main_execAddition.stpy

...enerator/lustre_benchmarks/M_Rbase_main_execAddition.stpy

...nerator/lustre_benchmarks/M_Rgrips_main_execAddition.stpy

...or/lustre_benchmarks/M_SLOW_TIME_STABLE_execAddition.stpy

...ator/lustre_benchmarks/M_SubmodeExample_execAddition.stpy

...egenerator/lustre_benchmarks/M_UMS_main_execAddition.stpy

...generator/lustre_benchmarks/M_UMS_verif_execAddition.stpy

...or/lustre_benchmarks/M_VerifyMovingItem_execAddition.stpy

...rator/lustre_benchmarks/M_carlights2_v4_execAddition.stpy

...erator/lustre_benchmarks/M_pilot_flying_execAddition.stpy

...enerator/lustre_benchmarks/M_speed_main_execAddition.stpy

...nerator/lustre_benchmarks/M_speed_verif_execAddition.stpy

...e_microbenchmarks/M_microbenchmarks_and_execAddition.stpy

...obenchmarks/M_microbenchmarks_assertion_execAddition.stpy

...marks/M_microbenchmarks_current_boolean_execAddition.stpy

...marks/M_microbenchmarks_current_integer_execAddition.stpy

...hmarks/M_microbenchmarks_divide_integer_execAddition.stpy