Add Choreography Diagram and types.xsd creation during the creation of synthesis project
During the creation of synthesis project a choreography diagram and the file "types.xsd" will be created. The add new choreography file button will be managed in order to allow only one choreography diagram inside a project. When starting a synthesis, only one choreography will be available. If the uses overrides the option (adding one or more files through file explorer), when starting the synthesis process it will be warned.