Initial version with Choreography summary output (still under
testing...)