Stable and correct version of 2PC using the new trace spec

• Use https://github.com/lbinria/trace_validation_tools/releases/tag/v1.2
• Improve execution scripts

Stable and correct version of 2PC based on spec. refinement

This version use a trace spec that is based on refinement of a base spec.
It introduce an optimization when the user specify the expected action name when he commit changes.

Stable and correct version of 2PC based on ACTION CONSTRAINT

This version use a trace specification based on ACTION_CONSTRAINT.