Removes unused imports
Adds scenario7Customer to petstore.uml
Adds tests for scenario7Customer and scenario7 to PetstoreCaseStudy

Tests cover the use of the IntegrationLayer's ExecutionContext directly
and the use of the IntegrationLayer's ExecutionContext via the
PapyrusModelILExecutor