removal of files related to choreography verification (moved to the verchor project)